No TPTP formula. May not be expressible in strict first order.	People.kif 97-97	The range of births per thousand is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 690-690	The range of border is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3086-3086	The range of bought items is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1320-1320	The range of CPU utilization is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1528-1528	The range of cabinet is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5495-5495	The range of cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4770-4770	The range of ceiling is an instance of integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 657-657	The range of cell part is an instance of cell part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7626-7626	The range of center of circle is an instance of geometric point
No TPTP formula. May not be expressible in strict first order.	People.kif 469-469	The range of children born per woman is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8012-8012	The range of citizenry is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3537-3537	The range of click-through rate is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5464-5464	The range of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Music.kif 1048-1048	The range of contest function is an instance of contest
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3049-3049	The range of conversion rate is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4788-4788	The range of cosine is an instance of real number
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 284-284	The range of currency is an instance of financial instrument
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4765-4765	The range of datum is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18130-18130	The range of dead or missing body part fn is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	People.kif 130-130	The range of deaths per thousand is an instance of real number
No TPTP formula. May not be expressible in strict first order.	People.kif 256-256	The range of deaths per thousand live births is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4797-4797	The range of denominator is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6633-6633	The range of density is an instance of function quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18237-18237	The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18302-18302	The range of Department of preventing fn is an instance of organization
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