No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7790-7790 | ShoppingMall e' uma sub-classe de MercantileOrganization |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5127-5127 | StripMall e' uma sub-classe de ShoppingMall |
![]() |