| (=> (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 14988-14996 | |
| (subclass Corporation Business) | Merge.kif 16158-16158 | 法人财团 是 Business 的 subclass |
| (subclass Corporation LegalAgent) | Merge.kif 16160-16160 | 法人财团 是 LegalAgent 的 subclass |
| (subclass Manufacturer Corporation) | Merge.kif 16167-16167 | 生产厂家 是 法人财团 的 subclass |
| (subclass MercantileOrganization Corporation) | Merge.kif 16180-16180 | 商业组织 是 法人财团 的 subclass |
| (subclass LabCorp Corporation) | Medicine.kif 4397-4397 | LabCorp 是 法人财团 的 subclass |
|
|