No TPTP formula. May not be expressible in strict first order.	Government.kif 1526-1526	Cabinet is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5507-5507	Cardinality is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4781-4781	Ceiling is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7637-7637	Center of circle is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8038-8038	Citizenry is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5475-5475	Complement is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 673-673	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 4799-4799	Cosine is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29724-29724	Covering fn 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 6070-6070	Cut set is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4856-4856	Datum is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 114-114	Dead fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18237-18237	Dead or missing body part fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30629-30629	Demonym fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4808-4808	Denominator is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7460-7460	Descendants is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4947-4947	Diameter is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3011-3011	Document is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9978-9978	Edema is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 1684-1684	Election is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1956-1956	Elevation high point is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1932-1932	Elevation low point is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2055-2055	Email domain part fn 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