No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22865-22867 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22869-22869 |
域 貨物, 1 and 運輸 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22870-22870 |
域 貨物, 2 and Object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22864-22864 |
例 貨物 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22863-22863 |
例 貨物 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22872-22872 |
例 貨物 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22871-22871 |
子關係 貨物 and 運送的 |