(domain ComplementFn 1 SetOrClass) |
Merge.kif 5408-5408 |
The number 1 argument of complement is an instance of set or class |
(domain IntersectionFn 1 SetOrClass) |
Merge.kif 5386-5386 |
The number 1 argument of intersection is an instance of set or class |
(domain IntersectionFn 2 SetOrClass) |
Merge.kif 5387-5387 |
The number 2 argument of intersection is an instance of set or class |
(domain PowerSetFn 1 SetOrClass) |
Merge.kif 791-791 |
The number 1 argument of power set is an instance of set or class |
(domain RelativeComplementFn 1 SetOrClass) |
Merge.kif 5397-5397 |
The number 1 argument of relative complement is an instance of set or class |
(domain RelativeComplementFn 2 SetOrClass) |
Merge.kif 5398-5398 |
The number 2 argument of relative complement is an instance of set or class |
(domain UnionFn 1 SetOrClass) |
Merge.kif 5360-5360 |
The number 1 argument of union is an instance of set or class |
(domain UnionFn 2 SetOrClass) |
Merge.kif 5361-5361 |
The number 2 argument of union is an instance of set or class |
(domain adjacentOrientation 2 SetOrClass) |
Hotel.kif 937-937 |
The number 2 argument of adjacent orientation is an instance of set or class |
(domain cardinality 1 SetOrClass) |
Government.kif 436-436 |
The number 1 argument of cardinality is an instance of set or class |
(domain lexicon 1 SetOrClass) |
engineering.kif 39-39 |
The number 1 argument of lexicon is an instance of set or class |
(domain memberMeasure 1 SetOrClass) |
Mid-level-ontology.kif 30922-30922 |
The number 1 argument of member measure is an instance of set or class |
(domain memberType 2 SetOrClass) |
Mid-level-ontology.kif 22598-22598 |
The number 2 argument of member type is an instance of set or class |
(domain memberTypeCount 2 SetOrClass) |
Mid-level-ontology.kif 22612-22612 |
The number 2 argument of member type count is an instance of set or class |
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) |
Merge.kif 5429-5429 |
The number 1 argument of generalized intersection is a subclass of set or class |
(domainSubclass GeneralizedUnionFn 1 SetOrClass) |
Merge.kif 5418-5418 |
The number 1 argument of generalized union is a subclass of set or class |