(=> (and (applicableRelation ?O ?R) (instance ?O ?OC) (domain ?R 1 ?DC)) (or (equal ?OC ?DC) (subclass ?OC ?DC))) |
Mid-level-ontology.kif 31419-31426 | |
(=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 221-227 | |
(=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea)) |
Mid-level-ontology.kif 16932-16936 | |
(domain subclass 1 Class) | Merge.kif 131-131 | 域 子類, 1 and Class |
(domain subclass 2 Class) | Merge.kif 132-132 | 域 子類, 2 and Class |