ShipContainer |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2609-2610 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 914-914 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 881-881 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2608-2608 | ShipContainer est une sous-classe de Container |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2611-2611 | ShipContainer s'appele nom "intermodal container" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52655-52655 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52654-52654 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52653-52653 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2613-2622 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2339-2341 |