| (=> (and (applicableRelation ?O ?R) (instance ?O ?OC) (domain ?R 1 ?DC)) (or (equal ?OC ?DC) (subclass ?OC ?DC))) |
Mid-level-ontology.kif 30754-30761 | |
| (=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 219-225 | |
| (=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea)) |
Mid-level-ontology.kif 16324-16328 | |
| (domain subclass 1 Class) | Merge.kif 129-129 | |
| (domain subclass 2 Class) | Merge.kif 130-130 |
|
|