({ Home Grammar Facts Reasoning Knowledge base Software Download })

({ Clicking on a green or brown colored Method displays or hides the Application of that Method, and also displays or hides another Method or the Reason in that Paragraph. })

[[ Knowledge base ]]

[( Abstract relations )]

[- Things and features -]

({ Being the same Being a feature No features })
({ Specified features Amalgamation Union })
({ Division Cross union Link })
({ Partial difference Intersection Being a part })
({ Proper part Being flush Link relations })
({ Domain Range Cartesian product })
({ Part relation Assumed features An impossible thing })
({ Example of a Meaning A thing not a feature Projection })
({ Indexed relations Disjoint Relation conversion })
({ Relations from Sentences })

[- Number -]

({ Ordinal numbers Natural numbers Whole numbers })
({ Rational numbers Complex numbers })

(_ ThingsAndFeatures _)

({ The English and Verish text on this website is licensed for use under the Free Software Foundation Free Documentation License, and the software is licensed for use under the Free Software Foundation General Public License. })

({ Page last updated 25 May 2018. Copyright (c) Chris Austin 1997 - 2018. Privacy policy })