PhysicalDimension(physical dimension) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 71-72 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 73-73 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 74-74 | Physical dimension is a subclass of quantity |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 86-86 | Angular velocity is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 95-95 | Current is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 108-108 | Dimensionless is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 83-83 | Force is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 77-77 | Length is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 104-104 | Power is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 98-98 | Pressure is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 89-89 | Torque is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 80-80 | Velocity is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 92-92 | Voltage is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 101-101 | Volume flow is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45726-45726 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45725-45725 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45724-45724 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 300-300 | The number 2 argument of has dimension is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 278-278 | The number 1 argument of physical domain is an instance of physical dimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 279-279 | The number 2 argument of physical domain is an instance of physical dimension |