![]() |
![]() ![]() ![]()
|
![]() |
|
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 2044-2046 | |
(partition SetOrClass Set Class) | Merge.kif 2042-2042 | Set or class is exhaustively partitioned into set and class |
(subclass SetOrClass Abstract) | Merge.kif 2041-2041 | Set or class is a subclass of abstract |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AttrFn 1 SetOrClass) | Merge.kif 1686-1686 | The number 1 argument of attr is an instance of set or class |
(domain ComplementFn 1 SetOrClass) | Merge.kif 5195-5195 | The number 1 argument of complement is an instance of set or class |
(domain IntersectionFn 1 SetOrClass) | Merge.kif 5173-5173 | The number 1 argument of intersection is an instance of set or class |
(domain IntersectionFn 2 SetOrClass) | Merge.kif 5174-5174 | The number 2 argument of intersection is an instance of set or class |
(domain PowerSetFn 1 SetOrClass) | Merge.kif 763-763 | The number 1 argument of power set is an instance of set or class |
(domain RelativeComplementFn 1 SetOrClass) | Merge.kif 5184-5184 | The number 1 argument of relative complement is an instance of set or class |
(domain RelativeComplementFn 2 SetOrClass) | Merge.kif 5185-5185 | The number 2 argument of relative complement is an instance of set or class |
(domain UnionFn 1 SetOrClass) | Merge.kif 5147-5147 | The number 1 argument of union is an instance of set or class |
(domain UnionFn 2 SetOrClass) | Merge.kif 5148-5148 | The number 2 argument of union is an instance of set or class |
(domain adjacentOrientation 2 SetOrClass) | Hotel.kif 907-907 | The number 2 argument of adjacent orientation is an instance of set or class |
(domain cardinality 1 SetOrClass) | Government.kif 425-425 | The number 1 argument of cardinality is an instance of set or class |
(domain classIntersection 1 SetOrClass) | ComputerInput.kif 68-68 | The number 1 argument of classIntersection is an instance of set or class |
(domain classIntersection 2 SetOrClass) | ComputerInput.kif 69-69 | The number 2 argument of classIntersection is an instance of set or class |
(domain classIntersection 3 SetOrClass) | ComputerInput.kif 70-70 | The number 3 argument of classIntersection is an instance of set or class |
(domain closedOn 2 SetOrClass) | Merge.kif 3456-3456 | The number 2 argument of closed on is an instance of set or class |
(domain disjoint 1 SetOrClass) | Merge.kif 395-395 | The number 1 argument of disjoint is an instance of set or class |
(domain disjoint 2 SetOrClass) | Merge.kif 396-396 | The number 2 argument of disjoint is an instance of set or class |
(domain domain 3 SetOrClass) | Merge.kif 209-209 | The number 3 argument of domain is an instance of set or class |
(domain domainSubclass 3 SetOrClass) | Merge.kif 231-231 | The number 3 argument of domain subclass is an instance of set or class |
(domain equivalenceRelationOn 2 SetOrClass) | Merge.kif 3579-3579 | The number 2 argument of equivalence relation on is an instance of set or class |
(domain immediateSubclass 1 SetOrClass) | Merge.kif 152-152 | The number 1 argument of immediate subclass is an instance of set or class |
(domain immediateSubclass 2 SetOrClass) | Merge.kif 153-153 | The number 2 argument of immediate subclass is an instance of set or class |
(domain instance 2 SetOrClass) | Merge.kif 82-82 | The number 2 argument of instance is an instance of set or class |
(domain irreflexiveOn 2 SetOrClass) | Merge.kif 3503-3503 | The number 2 argument of irreflexive on 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 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 4 |
![]() |
(disjointDecomposition Abstract Quantity Attribute SetOrClass Relation Proposition List) | Merge.kif 1579-1579 | Abstract is disjointly decomposed into quantity, attribute, set or class, relation, proposition, and list |
antecedent |
![]() |
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT)) |
Government.kif 435-439 |
|
consequent |
![]() |
statement |
![]() |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5226-5226 | The number 1 argument of cardinality is an instance of the union of set or class and collection |
![]() |
![]() |