No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22402-22402 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2202-2202 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2201-2201 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1787-1787 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2200-2200 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2203-2203 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2204-2204 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22401-22401 |
GovernmentBuilding e' uma sub-classe de Predio |