instance |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 484-491 | A length measure is a total length of highway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 98-105 | A length measure is a total length of railway system of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 656-663 | A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 685-692 | A length measure is a total pipeline in area of a geographic area if and only if the length of the class described by a symbolic string is the length measure |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1456-1461 | A geopolitical area is unemployment rate of area in period a real number for a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area is unemployment rate of area the real number for holds during the time position |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 961-968 | An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 632-640 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20779-20785 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 939-944 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 193-199 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 670-677 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 702-717 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 280-287 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16879-16888 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27284-27288 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 487-499 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6225-6238 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 655-667 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2092-2106 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 478-482 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 223-230 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4373-4382 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 648-652 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |