No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23529-23531 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23533-23533 |
域 輸送, 1 and Transportation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23534-23534 |
域 輸送, 2 and TransportationDevice |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23528-23528 |
例 輸送 and CaseRole |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23532-23532 |
子關係 輸送 and 儀器 |