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 |
![]() |