No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23231-23234 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23228-23228 |
域 家庭地址, 1 and 永久居留權 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23229-23229 |
域 家庭地址, 2 and Human |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23227-23227 |
例 家庭地址 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23226-23226 |
例 家庭地址 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23230-23230 |
子關係 家庭地址 and postContactSite |