(=> (instance ?INDUSTRY Industry) (exists (?MEMB1 ?MEMB2 ?CLASS) (and (member ?MEMB1 ?INDUSTRY) (member ?MEMB2 ?INDUSTRY) (subclass ?CLASS Corporation) (immediateInstance ?MEMB1 ?CLASS) (immediateInstance ?MEMB2 ?CLASS)))) |
Mid-level-ontology.kif 15016-15024 | |
(subclass Corporation Business) | Merge.kif 16188-16188 | |
(subclass Corporation LegalAgent) | Merge.kif 16190-16190 | |
(subclass Manufacturer Corporation) | Merge.kif 16197-16197 | |
(subclass MercantileOrganization Corporation) | Merge.kif 16210-16210 | |
(subclass LabCorp Corporation) | Medicine.kif 4397-4397 |