Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SetOrClass
SetOrClass(set or class)subgroup, subpopulation

appearance as argument number 1
-------------------------


(documentation SetOrClass ChineseLanguage "这是 SetClassSetOrClass,也就是说 任何 Abstractelementinstance的实例。") 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 2090-2092
(partition SetOrClass Set Class) Merge.kif 2088-2088 Set or class is exhaustively partitioned into set and class
(subclass SetOrClass Abstract) Merge.kif 2087-2087 Set or class is a subclass of abstract

appearance as argument number 2
-------------------------


(range ComplementFn SetOrClass) Merge.kif 5409-5409 The range of complement is an instance of set or class
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5430-5430 The range of generalized intersection is an instance of set or class
(range GeneralizedUnionFn SetOrClass) Merge.kif 5419-5419 The range of generalized union is an instance of set or class
(range IntersectionFn SetOrClass) Merge.kif 5388-5388 The range of intersection is an instance of set or class
(range RelativeComplementFn SetOrClass) Merge.kif 5399-5399 The range of relative complement is an instance of set or class
(range UnionFn SetOrClass) Merge.kif 5362-5362 The range of union is an instance of set or class
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 792-792 The values returned by power set are subclasses of set or class
(subclass Class SetOrClass) Merge.kif 2095-2095 Class is a subclass of set or class
(subclass Set SetOrClass) Merge.kif 2107-2107 Set is a subclass of set or class
(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 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

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 ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (equal
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2137-2150
(=>
    (and
        (maxCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (lessThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2210-2223
(=>
    (and
        (minCardinality ?REL ?ARG ?COUNT)
        (instance ?REL Predicate))
    (exists (?S ?EL @ARGS)
        (and
            (instance ?S SetOrClass)
            (=>
                (and
                    (?REL @ARGS)
                    (equal ?EL
                        (ListOrderFn
                            (ListFn @ARGS) ?ARG)))
                (and
                    (instance ?EL ?S)
                    (greaterThanOrEqualTo
                        (CardinalityFn ?S) ?COUNT))))))
Media.kif 2174-2187