range

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


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