ShipContainer
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2575-2576 | |
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 2574-2574 | ShipContainer e' uma sub-classe de Objeto auto-conectado |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52653-52653 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52652-52652 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52651-52651 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2333-2335 |