PhysicalQuantity(physical quantity) |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 134-134 | The number 2 argument of surface wind speed is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 105-105 | The number 2 argument of surface wind velocity is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10429-10429 | The number 2 argument of systolic blood pressure is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2621-2621 | The number 2 argument of total biomass is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2525-2525 | The number 2 argument of vessel displacement is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2546-2546 | The number 2 argument of vessel gross registered tonnage is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26369-26369 | The number 2 argument of voltage measure is an instance of physical quantity |