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 数量 是 军事单位 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8425-8425 |
敌对势力 的 2 数量 是 军事单位 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8421-8421 |
敌对势力 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8422-8422 |
敌对势力 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8423-8423 |
敌对势力 是 部分值关系 的 instance |