|
|
   PlaceOfCommerce
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7058-7060 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2293-2293 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2292-2292 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7057-7057 | PlaceOfCommerce est compl�tement d�compos� en CommercialBuilding + CommercialUnit |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24655-24655 | PlaceOfCommerce est une sous-classe de PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7056-7056 | PlaceOfCommerce est une sous-classe de artefact stationnaire |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7072-7072 | CommercialBuilding est une sous-classe de PlaceOfCommerce |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | CommercialUnit est une sous-classe de PlaceOfCommerce |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45980-45980 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45979-45979 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45978-45978 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7062-7069 |
|
|
|
|
