No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21006-21008 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4961-4961 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4960-4960 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4861-4861 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21005-21005 |
例 司法部長 and 政府立場 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21004-21004 |
子屬性 司法部長 and 律師 |