No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | 自身连接物体 是 客体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2574-2574 | 船舶集装箱 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2361-2361 | 舷梯 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 867-867 | OrganicThing 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | 物质 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1226-1226 | 躯体性物体 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14266-14266 | 公交专用道 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14874-14874 | Food 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4492-4492 | 水体 是 自身连接物体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4723-4723 | 冰山 是 自身连接物体 的 subclass |