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 2077-2079
(partition SetOrClass Set Class) Merge.kif 2075-2075 集或类 详尽无遗地 partition集合
(subclass SetOrClass Abstract) Merge.kif 2074-2074 集或类抽象体subclass

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


(range ComplementFn SetOrClass) Merge.kif 5384-5384 补集函数range集或类 的实例
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5405-5405 概括交集函数range集或类 的实例
(range GeneralizedUnionFn SetOrClass) Merge.kif 5394-5394 概括结合函数range集或类 的实例
(range IntersectionFn SetOrClass) Merge.kif 5363-5363 交集函数range集或类 的实例
(range RelativeComplementFn SetOrClass) Merge.kif 5374-5374 相对补集函数range集或类 的实例
(range UnionFn SetOrClass) Merge.kif 5337-5337 结合函数range集或类 的实例
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 787-787 幂集函数 的所得值 是 集或类subclass
(subclass Class SetOrClass) Merge.kif 2082-2082 集或类subclass
(subclass Set SetOrClass) Merge.kif 2094-2094 集合集或类subclass
(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 5383-5383 补集函数 的 1 数量 是 集或类instance
(domain IntersectionFn 1 SetOrClass) Merge.kif 5361-5361 交集函数 的 1 数量 是 集或类instance
(domain IntersectionFn 2 SetOrClass) Merge.kif 5362-5362 交集函数 的 2 数量 是 集或类instance
(domain PowerSetFn 1 SetOrClass) Merge.kif 786-786 幂集函数 的 1 数量 是 集或类instance
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5372-5372 相对补集函数 的 1 数量 是 集或类instance
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5373-5373 相对补集函数 的 2 数量 是 集或类instance
(domain UnionFn 1 SetOrClass) Merge.kif 5335-5335 结合函数 的 1 数量 是 集或类instance
(domain UnionFn 2 SetOrClass) Merge.kif 5336-5336 结合函数 的 2 数量 是 集或类instance
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 915-915 adjacentOrientation 的 2 数量 是 集或类instance
(domain cardinality 1 SetOrClass) Government.kif 436-436 基数 的 1 数量 是 集或类instance
(domain lexicon 1 SetOrClass) engineering.kif 39-39 词库 的 1 数量 是 集或类instance
(domain memberMeasure 1 SetOrClass) Mid-level-ontology.kif 30407-30407 memberMeasure 的 1 数量 是 集或类instance
(domain memberType 2 SetOrClass) Mid-level-ontology.kif 22096-22096 会员类型 的 2 数量 是 集或类instance
(domain memberTypeCount 2 SetOrClass) Mid-level-ontology.kif 22110-22110 会员类型计数 的 2 数量 是 集或类instance
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5404-5404 概括交集函数 的 1 数量 是 集或类subclass
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5393-5393 概括结合函数 的 1 数量 是 集或类subclass

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