No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22364-22366 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5961-5961 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6382-6382 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22362-22362 |
例 外交官 and 職業角色 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22363-22363 |
子屬性 外交官 and 政府人 |