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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 2039-2041
(partition SetOrClass Set Class) Merge.kif 2037-2037 集或类 详尽无遗地 partition集合
(subclass SetOrClass Abstract) Merge.kif 2036-2036 集或类抽象体subclass

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


(range ComplementFn SetOrClass) Merge.kif 5148-5148 补集函数range集或类 的实例
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5169-5169 概括交集函数range集或类 的实例
(range GeneralizedUnionFn SetOrClass) Merge.kif 5158-5158 概括结合函数range集或类 的实例
(range IntersectionFn SetOrClass) Merge.kif 5127-5127 交集函数range集或类 的实例
(range RelativeComplementFn SetOrClass) Merge.kif 5138-5138 相对补集函数range集或类 的实例
(range UnionFn SetOrClass) Merge.kif 5101-5101 结合函数range集或类 的实例
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 763-763 幂集函数 的所得值 是 集或类subclass
(subclass Set SetOrClass) Merge.kif 2056-2056 集合集或类subclass
(termFormat ChineseLanguage SetOrClass "集或类") chinese_format.kif 885-885
(termFormat EnglishLanguage SetOrClass "set or class") english_format.kif 977-977

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


(domain AttrFn 1 SetOrClass) Merge.kif 1681-1681 Attr 的 1 数量 是 集或类instance
(domain ComplementFn 1 SetOrClass) Merge.kif 5147-5147 补集函数 的 1 数量 是 集或类instance
(domain IntersectionFn 1 SetOrClass) Merge.kif 5125-5125 交集函数 的 1 数量 是 集或类instance
(domain IntersectionFn 2 SetOrClass) Merge.kif 5126-5126 交集函数 的 2 数量 是 集或类instance
(domain PowerSetFn 1 SetOrClass) Merge.kif 762-762 幂集函数 的 1 数量 是 集或类instance
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5136-5136 相对补集函数 的 1 数量 是 集或类instance
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5137-5137 相对补集函数 的 2 数量 是 集或类instance
(domain UnionFn 1 SetOrClass) Merge.kif 5099-5099 结合函数 的 1 数量 是 集或类instance
(domain UnionFn 2 SetOrClass) Merge.kif 5100-5100 结合函数 的 2 数量 是 集或类instance
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 907-907 adjacentOrientation 的 2 数量 是 集或类instance
(domain cardinality 1 SetOrClass) Government.kif 425-425 基数 的 1 数量 是 集或类instance
(domain classIntersection 1 SetOrClass) ComputerInput.kif 68-68 classIntersection 的 1 数量 是 集或类instance
(domain classIntersection 2 SetOrClass) ComputerInput.kif 69-69 classIntersection 的 2 数量 是 集或类instance
(domain classIntersection 3 SetOrClass) ComputerInput.kif 70-70 classIntersection 的 3 数量 是 集或类instance
(domain closedOn 2 SetOrClass) Merge.kif 3420-3420 闭上 的 2 数量 是 集或类instance
(domain disjoint 1 SetOrClass) Merge.kif 394-394 不相交 的 1 数量 是 集或类instance
(domain disjoint 2 SetOrClass) Merge.kif 395-395 不相交 的 2 数量 是 集或类instance
(domain domain 3 SetOrClass) Merge.kif 208-208 定义域 的 3 数量 是 集或类instance
(domain domainSubclass 3 SetOrClass) Merge.kif 230-230 子类别的定义域 的 3 数量 是 集或类instance
(domain equivalenceRelationOn 2 SetOrClass) Merge.kif 3543-3543 属于等价关系 的 2 数量 是 集或类instance
(domain immediateSubclass 1 SetOrClass) Merge.kif 151-151 直接子类别 的 1 数量 是 集或类instance
(domain immediateSubclass 2 SetOrClass) Merge.kif 152-152 直接子类别 的 2 数量 是 集或类instance
(domain instance 2 SetOrClass) Merge.kif 82-82 实例 的 2 数量 是 集或类instance
(domain irreflexiveOn 2 SetOrClass) Merge.kif 3467-3467 属于非自反关系 的 2 数量 是 集或类instance
(domain lexicon 1 SetOrClass) engineering.kif 39-39 词库 的 1 数量 是 集或类instance

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 1574-1574 抽象体 分拆成不相交的 数量, 属性, 集或类, 关系, 和 命题

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 136-140