![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1759-1767 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1941-1956 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1939-1939 | Physical quantity is exhaustively partitioned into constant quantity and function quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1938-1938 | Physical quantity is a subclass of quantity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6045-6045 | The range of measure is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1958-1958 | Constant quantity is a subclass of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2013-2013 | Function quantity is a subclass of physical quantity |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1586-1586 | Performance measure is a subclass of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5893-5893 | Unit of measure is a subclass of physical quantity |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 875-875 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 957-957 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6307-6307 | The number 1 argument of magnitude is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6343-6343 | The number 1 argument of per is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6344-6344 | The number 2 argument of per is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6326-6326 | The number 1 argument of UnitFn is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2109-2109 | The number 2 argument of annual electricity consumption is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2153-2153 | The number 2 argument of annual electricity export is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2199-2199 | The number 2 argument of annual electricity import is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1977-1977 | The number 2 argument of annual electricity production is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1525-1525 | The number 2 argument of carrier frequency is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2719-2719 | The number 2 argument of earthAltitude is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2099-2099 | The number 2 argument of electricity consumption in period is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2142-2142 | The number 2 argument of electricity export in period is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2187-2187 | The number 2 argument of electricity import in period is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1967-1967 | The number 2 argument of electricity production in period is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 975-975 | The number 2 argument of fleet gross registered tonnage is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 239-239 | The number 2 argument of high altitude wind velocity is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2007-2007 | The number 2 argument of image resolution is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Food.kif 70-70 | The number 3 argument of amount of ingredient is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 202-202 | The number 2 argument of low altitude wind speed is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 190-190 | The number 2 argument of low altitude wind velocity is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7164-7164 | The number 2 argument of measure is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 216-216 | The number 2 argument of medium altitude wind velocity is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2608-2608 | The number 2 argument of navigable for shipping tonnage is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 820-820 | The number 2 argument of resonantFrequency is an instance of physical quantity |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 124-124 | The number 2 argument of surface wind speed is an instance of physical quantity |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10879-10884 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10908-10913 |
|
![]() |
![]() |