No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20978-20980 |
|
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 20977-20977 |
AttorneyGeneral e' uma instancia de GovernmentPosition |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20976-20976 |
AttorneyGeneral e' um sub-atributo de Attorney |