|
|
   Summary
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1723-1724 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1812-1813 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 330-331 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1810-1810 | PhysicalAttribute est une sous-classe de attribut interne |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 696-696 | Compliance est une instance de PhysicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 674-674 | Conductivity est une instance de PhysicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12631-12631 | Flammable est une instance de PhysicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 684-684 | Inductance est une instance de PhysicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 689-689 | MutualInductance est une instance de PhysicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 680-680 | Resistivity est une instance de PhysicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 693-693 | Stiffness est une instance de PhysicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45722-45722 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45721-45721 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45720-45720 |
|
|
|