Warehouse
|
|
appearance as argument number 1 |
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 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62183-62183 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62182-62182 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62181-62181 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7081-7089 |