range

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


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