![]() |
![]() ![]() ![]()
|
![]() |
|
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 | |
(subclass SetOrClass Abstract) | Merge.kif 2068-2068 |
appearance as argument number 2 |
![]() |
(range ComplementFn SetOrClass) | Merge.kif 5378-5378 | |
(range GeneralizedIntersectionFn SetOrClass) | Merge.kif 5399-5399 | |
(range GeneralizedUnionFn SetOrClass) | Merge.kif 5388-5388 | |
(range IntersectionFn SetOrClass) | Merge.kif 5357-5357 | |
(range RelativeComplementFn SetOrClass) | Merge.kif 5368-5368 | |
(range UnionFn SetOrClass) | Merge.kif 5331-5331 | |
(rangeSubclass PowerSetFn SetOrClass) | Merge.kif 781-781 | |
(subclass Class SetOrClass) | Merge.kif 2076-2076 | |
(subclass Set SetOrClass) | Merge.kif 2088-2088 | |
(termFormat ChineseLanguage SetOrClass "集或类") | chinese_format.kif 885-885 | |
(termFormat EnglishLanguage SetOrClass "set or class") | english_format.kif 972-972 |
appearance as argument number 3 |
![]() |
(domain ComplementFn 1 SetOrClass) | Merge.kif 5377-5377 | |
(domain IntersectionFn 1 SetOrClass) | Merge.kif 5355-5355 | |
(domain IntersectionFn 2 SetOrClass) | Merge.kif 5356-5356 | |
(domain PowerSetFn 1 SetOrClass) | Merge.kif 780-780 | |
(domain RelativeComplementFn 1 SetOrClass) | Merge.kif 5366-5366 | |
(domain RelativeComplementFn 2 SetOrClass) | Merge.kif 5367-5367 | |
(domain UnionFn 1 SetOrClass) | Merge.kif 5329-5329 | |
(domain UnionFn 2 SetOrClass) | Merge.kif 5330-5330 | |
(domain adjacentOrientation 2 SetOrClass) | Hotel.kif 915-915 | |
(domain cardinality 1 SetOrClass) | Government.kif 436-436 | |
(domain lexicon 1 SetOrClass) | engineering.kif 39-39 | |
(domain memberMeasure 1 SetOrClass) | Mid-level-ontology.kif 30403-30403 | |
(domain memberType 2 SetOrClass) | Mid-level-ontology.kif 22092-22092 | |
(domain memberTypeCount 2 SetOrClass) | Mid-level-ontology.kif 22106-22106 | |
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) | Merge.kif 5398-5398 | |
(domainSubclass GeneralizedUnionFn 1 SetOrClass) | Merge.kif 5387-5387 |
antecedent |
![]() |
(=> (and (instance ?SET SetOrClass) (equal (CardinalityFn ?SET) ?COUNT)) (cardinality ?SET ?COUNT)) |
Government.kif 446-450 |
consequent |
![]() |
(=> (and (exactCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (equal (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2130-2143 | |
(=> (and (maxCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (lessThanOrEqualTo (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2201-2214 | |
(=> (and (minCardinality ?REL ?ARG ?COUNT) (instance ?REL Predicate)) (exists (?S) (and (instance ?S SetOrClass) (=> (and (?REL @ARGS) (equal ?EL (ListOrderFn (ListFn @ARGS) ?ARG))) (and (instance ?EL ?S) (greaterThanOrEqualTo (CardinalityFn ?S) ?COUNT)))))) |
Media.kif 2166-2179 |
statement |
![]() |
(domain CardinalityFn 1 (UnionFn SetOrClass Collection)) |
Merge.kif 5408-5408 |
![]() |
![]() |