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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SetOrClass

Sigma KEE - SetOrClass
SetOrClass

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 2049-2051
(partition SetOrClass Set Class) Merge.kif 2047-2047 partition SetOrClass, Set and Class
(subclass SetOrClass Abstract) Merge.kif 2046-2046 subclass SetOrClass and Abstract

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


(range ComplementFn SetOrClass) Merge.kif 5245-5245 range ComplementFn and SetOrClass
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5266-5266 range GeneralizedIntersectionFn and SetOrClass
(range GeneralizedUnionFn SetOrClass) Merge.kif 5255-5255 range GeneralizedUnionFn and SetOrClass
(range IntersectionFn SetOrClass) Merge.kif 5224-5224 range IntersectionFn and SetOrClass
(range RelativeComplementFn SetOrClass) Merge.kif 5235-5235 range RelativeComplementFn and SetOrClass
(range UnionFn SetOrClass) Merge.kif 5198-5198 range UnionFn and SetOrClass
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 763-763 rangeSubclass PowerSetFn and SetOrClass
(subclass Class SetOrClass) Merge.kif 2054-2054 subclass Class and SetOrClass
(subclass Set SetOrClass) Merge.kif 2066-2066 subclass Set and SetOrClass
(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 5244-5244 domain ComplementFn, 1 and SetOrClass
(domain IntersectionFn 1 SetOrClass) Merge.kif 5222-5222 domain IntersectionFn, 1 and SetOrClass
(domain IntersectionFn 2 SetOrClass) Merge.kif 5223-5223 domain IntersectionFn, 2 and SetOrClass
(domain PowerSetFn 1 SetOrClass) Merge.kif 762-762 domain PowerSetFn, 1 and SetOrClass
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5233-5233 domain RelativeComplementFn, 1 and SetOrClass
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5234-5234 domain RelativeComplementFn, 2 and SetOrClass
(domain UnionFn 1 SetOrClass) Merge.kif 5196-5196 domain UnionFn, 1 and SetOrClass
(domain UnionFn 2 SetOrClass) Merge.kif 5197-5197 domain UnionFn, 2 and SetOrClass
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 915-915 domain adjacentOrientation, 2 and SetOrClass
(domain cardinality 1 SetOrClass) Government.kif 425-425 domain cardinality, 1 and SetOrClass
(domain classIntersection 1 SetOrClass) ComputerInput.kif 68-68 domain classIntersection, 1 and SetOrClass
(domain classIntersection 2 SetOrClass) ComputerInput.kif 69-69 domain classIntersection, 2 and SetOrClass
(domain classIntersection 3 SetOrClass) ComputerInput.kif 70-70 domain classIntersection, 3 and SetOrClass
(domain lexicon 1 SetOrClass) engineering.kif 39-39 domain lexicon, 1 and SetOrClass
(domain memberMeasure 1 SetOrClass) Mid-level-ontology.kif 30355-30355 domain memberMeasure, 1 and SetOrClass
(domain memberType 2 SetOrClass) Mid-level-ontology.kif 22044-22044 domain memberType, 2 and SetOrClass
(domain memberTypeCount 2 SetOrClass) Mid-level-ontology.kif 22058-22058 domain memberTypeCount, 2 and SetOrClass
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5265-5265 domainSubclass GeneralizedIntersectionFn, 1 and SetOrClass
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5254-5254 domainSubclass GeneralizedUnionFn, 1 and SetOrClass

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