![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation SetOrClass ChineseLanguage "这是 Set 和 Class 的 SetOrClass,也就是说 任何 Abstract 有 element 或 instance的实例。") | chinese_format.kif 1804-1805 | |
(documentation SetOrClass EnglishLanguage "The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.") | Merge.kif 2071-2073 | |
(partition SetOrClass Set Class) | Merge.kif 2069-2069 | Set or class is exhaustively partitioned into set and class |
(subclass SetOrClass Abstract) | Merge.kif 2068-2068 | Set or class is a subclass of abstract |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain ComplementFn 1 SetOrClass) | Merge.kif 5377-5377 | The number 1 argument of complement is an instance of set or class |
(domain IntersectionFn 1 SetOrClass) | Merge.kif 5355-5355 | The number 1 argument of intersection is an instance of set or class |
(domain IntersectionFn 2 SetOrClass) | Merge.kif 5356-5356 | The number 2 argument of intersection is an instance of set or class |
(domain PowerSetFn 1 SetOrClass) | Merge.kif 780-780 | The number 1 argument of power set is an instance of set or class |
(domain RelativeComplementFn 1 SetOrClass) | Merge.kif 5366-5366 | The number 1 argument of relative complement is an instance of set or class |
(domain RelativeComplementFn 2 SetOrClass) | Merge.kif 5367-5367 | The number 2 argument of relative complement is an instance of set or class |
(domain UnionFn 1 SetOrClass) | Merge.kif 5329-5329 | The number 1 argument of union is an instance of set or class |
(domain UnionFn 2 SetOrClass) | Merge.kif 5330-5330 | The number 2 argument of union is an instance of set or class |
(domain adjacentOrientation 2 SetOrClass) | Hotel.kif 915-915 | The number 2 argument of adjacent orientation is an instance of set or class |
(domain cardinality 1 SetOrClass) | Government.kif 424-424 | 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 30383-30383 | The number 1 argument of memberMeasure is an instance of set or class |
(domain memberType 2 SetOrClass) | Mid-level-ontology.kif 22072-22072 | The number 2 argument of member type is an instance of set or class |
(domain memberTypeCount 2 SetOrClass) | Mid-level-ontology.kif 22086-22086 | The number 2 argument of member type count is an instance of set or class |
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) | Merge.kif 5398-5398 | The number 1 argument of generalized intersection is a subclass of set or class |
(domainSubclass GeneralizedUnionFn 1 SetOrClass) | Merge.kif 5387-5387 | The number 1 argument of generalized union is a subclass of set or class |
antecedent |
![]() |
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT)) |
Government.kif 434-438 |
|
consequent |
![]() |
statement |
![]() |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5408-5408 | The number 1 argument of cardinality is an instance of the union of set or class and collection |
![]() |
![]() |