![]() |
![]() ![]() ![]()
|
![]() |
|
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 e' uma sub-classe de Atributo Interno |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 696-696 | Compliance e' uma instancia de PhysicalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 674-674 | Conductivity e' uma instancia de PhysicalAttribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12607-12607 | Flammable e' uma instancia de PhysicalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 684-684 | Inductance e' uma instancia de PhysicalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 689-689 | MutualInductance e' uma instancia de PhysicalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 680-680 | Resistivity e' uma instancia de PhysicalAttribute |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 693-693 | Stiffness e' uma instancia de PhysicalAttribute |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45720-45720 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45719-45719 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45718-45718 |
![]() |
![]() |