| (=> (and (domain ?REL ?NUMBER ?CLASS1) (domain ?REL ?NUMBER ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 249-255 | |
| (=> (and (instance ?REL EconomicRelation) (domain ?REL 1 ?CLASS)) (subclass ?CLASS GeopoliticalArea)) |
Mid-level-ontology.kif 14460-14464 | |
| (domain subclass 1 SetOrClass) | Merge.kif 141-141 | |
| (domain subclass 2 SetOrClass) | Merge.kif 142-142 |
|
|