No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8418-8420 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8424-8424 |
域 敵對勢力, 1 and 軍事單位 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8425-8425 |
域 敵對勢力, 2 and 軍事單位 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8421-8421 |
例 敵對勢力 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8422-8422 |
例 敵對勢力 and IrreflexiveRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8423-8423 |
例 敵對勢力 and PartialValuedRelation |