PhysicalDimension
|
|
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 | PhysicalDimension est une sous-classe de quantit� |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 86-86 | AngularVelocity est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 95-95 | Current est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 108-108 | Dimensionless est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 83-83 | Force est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 77-77 | Length est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 104-104 | Power est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 98-98 | Pressure est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 89-89 | Torque est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 80-80 | Velocity est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 92-92 | Voltage est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 101-101 | VolumeFlow est une instance de PhysicalDimension |
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 | Le nombre 2 argument de hasDimension est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 278-278 | Le nombre 1 argument de physicalDomain est une instance de PhysicalDimension |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 279-279 | Le nombre 2 argument de physicalDomain est une instance de PhysicalDimension |