range

-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 71-71 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 2880-2880 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 5509-5509 The range of cardinality is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 4784-4784 The range of ceiling is an instance of integer
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1170-1170 The range of cell part is an instance of cell part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7640-7640 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 443-443 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 8040-8040 The range of citizenry is an instance of group of people
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3331-3331 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 5478-5478 The range of complement is an instance of set or class
No TPTP formula. May not be expressible in strict first order. Music.kif 1049-1049 The range of contest function is an instance of contest
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2843-2843 The range of conversion rate is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4802-4802 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 4858-4858 The range of datum is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 18240-18240 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 104-104 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 230-230 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 4811-4811 The range of denominator is an instance of integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 6647-6647 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 18325-18325 The range of department is an instance of organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18397-18397 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