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 |