No TPTP formula. May not be expressible in strict first order.	Geography.kif 697-697	The range of border is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3089-3089	The range of bought items is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1325-1325	The range of CPU utilization is an instance of constant quantity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1513	The range of cabinet is an instance of government organization
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5409-5409	The range of cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4688-4688	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 7544-7544	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 456-456	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 7709-7709	The range of citizenry is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3539-3539	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 5378-5378	The range of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order.	Music.kif 1042-1042	The range of contest function is an instance of contest
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3053-3053	The range of conversion rate is an instance of quantity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4706-4706	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 4756-4756	The range of datum is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17966-17966	The range of DeadOrMissingBodyPartFn is an instance of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	People.kif 128-128	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 249-249	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 4715-4715	The range of denominator is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6551-6551	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 17711-17711	The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7138-7138	The range of descendants is an instance of family group
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4672-4672	The range of diameter is an instance of length measure
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