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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SetOrClass

 Sigma KEE - SetOrClass
SetOrClass(set or class)set_or_class, subgroup, subpopulation, 同じセットまたはクラス, 集或类

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


(documentation SetOrClass ChineseLanguage "这是 Set 和 Class 的 SetOrClass，也就是说 任何 Abstract 有 element 或 instance的实例。") Merge.kif 2243-2244
(documentation SetOrClass EnglishLanguage "The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.") Merge.kif 2240-2242
(partition SetOrClass Set Class) Merge.kif 2239-2239 Set or class is exhaustively partitioned into set and class
(subclass SetOrClass Abstract) Merge.kif 2238-2238 Set or class is a subclass of abstract

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


(range ComplementFn SetOrClass) Merge.kif 5578-5578 The range of complement is an instance of set or class
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5603-5603 The range of generalized intersection is an instance of set or class
(range GeneralizedUnionFn SetOrClass) Merge.kif 5590-5590 The range of generalized union is an instance of set or class
(range IntersectionFn SetOrClass) Merge.kif 5553-5553 The range of intersection is an instance of set or class
(range RelativeComplementFn SetOrClass) Merge.kif 5566-5566 The range of relative complement is an instance of set or class
(range UnionFn SetOrClass) Merge.kif 5525-5525 The range of union is an instance of set or class
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 834-834 The values returned by power set are subclasses of set or class
(subclass Set SetOrClass) Merge.kif 2263-2263 Set is a subclass of set or class
(termFormat ChineseLanguage SetOrClass "集或类") chinese_format.kif 885-885 "集或类" is the printable form of set or class in ChineseLanguage
(termFormat EnglishLanguage SetOrClass "set or class") english_format.kif 716-716 "set or class" is the printable form of set or class in english language
(termFormat JapaneseLanguage SetOrClass "同じセットまたはクラス") english_format.kif 717-717 "同じセットまたはクラス" is the printable form of set or class in japanese language

appearance as argument number 3
-------------------------


(domain AttrFn 1 SetOrClass) Merge.kif 1833-1833 The number 1 argument of attr is an instance of set or class
(domain ComplementFn 1 SetOrClass) Merge.kif 5577-5577 The number 1 argument of complement is an instance of set or class
(domain IntersectionFn 1 SetOrClass) Merge.kif 5551-5551 The number 1 argument of intersection is an instance of set or class
(domain IntersectionFn 2 SetOrClass) Merge.kif 5552-5552 The number 2 argument of intersection is an instance of set or class
(domain PowerSetFn 1 SetOrClass) Merge.kif 833-833 The number 1 argument of power set is an instance of set or class
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5564-5564 The number 1 argument of relative complement is an instance of set or class
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5565-5565 The number 2 argument of relative complement is an instance of set or class
(domain UnionFn 1 SetOrClass) Merge.kif 5523-5523 The number 1 argument of union is an instance of set or class
(domain UnionFn 2 SetOrClass) Merge.kif 5524-5524 The number 2 argument of union is an instance of set or class
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 903-903 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 67-67 The number 1 argument of classIntersection is an instance of set or class
(domain classIntersection 2 SetOrClass) ComputerInput.kif 68-68 The number 2 argument of classIntersection is an instance of set or class
(domain classIntersection 3 SetOrClass) ComputerInput.kif 69-69 The number 3 argument of classIntersection is an instance of set or class
(domain closedOn 2 SetOrClass) Merge.kif 3690-3690 The number 2 argument of closed on is an instance of set or class
(domain disjoint 1 SetOrClass) Merge.kif 440-440 The number 1 argument of disjoint is an instance of set or class
(domain disjoint 2 SetOrClass) Merge.kif 441-441 The number 2 argument of disjoint is an instance of set or class
(domain domain 3 SetOrClass) Merge.kif 231-231 The number 3 argument of domain is an instance of set or class
(domain domainSubclass 3 SetOrClass) Merge.kif 260-260 The number 3 argument of domain subclass is an instance of set or class
(domain equivalenceRelationOn 2 SetOrClass) Merge.kif 3823-3823 The number 2 argument of equivalence relation on is an instance of set or class
(domain immediateSubclass 1 SetOrClass) Merge.kif 165-165 The number 1 argument of immediate subclass is an instance of set or class
(domain immediateSubclass 2 SetOrClass) Merge.kif 166-166 The number 2 argument of immediate subclass is an instance of set or class
(domain instance 2 SetOrClass) Merge.kif 83-83 The number 2 argument of instance is an instance of set or class
(domain irreflexiveOn 2 SetOrClass) Merge.kif 3739-3739 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) Merge.kif 1722-1722 Abstract is disjointly decomposed into quantity, attribute, set or class, relation, and proposition

antecedent
-------------------------


(=>
    (and
        (instance ?SET SetOrClass)
        (equal
            (CardinalityFn ?SET) ?COUNT))
    (cardinality ?SET ?COUNT))		 Government.kif 435-439

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 2134-2147
(=>
    (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 2205-2218
(=>
    (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 2170-2183
(=>
    (subclass ?X ?Y)
    (and
        (instance ?X SetOrClass)
        (instance ?Y SetOrClass)))		 Merge.kif 150-154