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