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 | 船舶集装箱 是 自身连接物体 的 subclass |
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 |