No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7078-7079 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2056-2056 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2423-2423 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2424-2424 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7077-7077 |
Warehouse e' uma sub-classe de CommercialBuilding |