No TPTP formula. May not be expressible in strict first order.	Government.kif 1488-1488	Cabinet is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5532-5532	Cardinality is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4809-4809	Ceiling is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7706-7706	Center of circle is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27443-27443	Level plane is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9205-9205	Citizenry is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5500-5500	Complement is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 637-637	Constitution is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2832-2832	Conversion rate is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4827-4827	Cosine is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31643-31643	Covering fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 284-284	Currency is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6095-6095	Cut set is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5248-5248	Datum is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18662-18662	Dead fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18424-18424	Dead or missing body part fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6787-6787	Demand is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32563-32563	Demonym fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4836-4836	Denominator is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8627-8627	Descendants is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5565-5565	Diameter is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3307-3307	Document is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11307-11307	Edema is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 1646-1646	Election is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2252-2252	Elevation high point is an instance of unary function
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners