| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners