No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7762-7762	Citizenry is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5193-5193	Complement is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 660-660	Constitution is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3039-3039	Conversion rate is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4616-4616	Cosine is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27940-27940	CoveringFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 282-282	Currency is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5766-5766	Cut set is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4557-4557	Datum is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 233-233	DeadFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28806-28806	DemonymFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4625-4625	Denominator is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7151-7151	Descendants is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5250-5250	Diameter is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2870-2870	Document is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 1638-1638	Election is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1906-1906	Elevation high point is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1885-1885	Elevation low point is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2033-2033	EmailDomainPartFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2027-2027	EmailLocalPartFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7607-7607	End is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5641-5641	End node is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8398-8398	EveningFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1144-1144	Exclusive fishing zone is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 1274-1274	Executive branch 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