No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7064-7064 | CommercialUnit e' uma sub-classe de PlaceOfCommerce |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2081-2081 | AppleStore e' uma sub-classe de CommercialUnit |