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 2142-2144
(documentation SetOrClass JapaneseLanguage "Sets の SetOrClassClasses。 例: elements または instances がある Abstract の任意のインスタンス。") japanese_format.kif 419-420
(partition SetOrClass Set Class) Merge.kif 2140-2140 集或类 详尽无遗地 partition集合
(subclass SetOrClass Abstract) Merge.kif 2139-2139 集或类抽象体subclass

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


(range ComplementFn SetOrClass) Merge.kif 5503-5503 补集函数range集或类 的实例
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5524-5524 概括交集函数range集或类 的实例
(range GeneralizedUnionFn SetOrClass) Merge.kif 5513-5513 概括结合函数range集或类 的实例
(range IntersectionFn SetOrClass) Merge.kif 5482-5482 交集函数range集或类 的实例
(range RelativeComplementFn SetOrClass) Merge.kif 5493-5493 相对补集函数range集或类 的实例
(range UnionFn SetOrClass) Merge.kif 5456-5456 结合函数range集或类 的实例
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 791-791 幂集函数 的所得值 是 集或类subclass
(subclass Class SetOrClass) Merge.kif 2147-2147 集或类subclass
(subclass Set SetOrClass) Merge.kif 2159-2159 集合集或类subclass
(termFormat ChineseLanguage SetOrClass "集或类") chinese_format.kif 885-885 集合集或类subclass
(termFormat EnglishLanguage SetOrClass "set or class") english_format.kif 972-972 集合集或类subclass
(termFormat FrenchLanguage SetOrClass "ensemble ou classe") french_format.kif 561-561 集合集或类subclass
(termFormat Hindi SetOrClass "samUha yaa varga") terms-hindi.txt 91-91 集合集或类subclass
(termFormat ItalianLanguage SetOrClass "InsiemeOClasse") terms-it.txt 94-94 集合集或类subclass
(termFormat JapaneseLanguage SetOrClass "同じセットまたはクラス") japanese_format.kif 2246-2246 集合集或类subclass
(termFormat PortugueseLanguage SetOrClass "Conjunto ou Classe") portuguese_format.kif 513-513 集合集或类subclass
(termFormat cz SetOrClass "set or class") terms-cz.txt 128-128 集合集或类subclass
(termFormat de SetOrClass "Menge oder Kategorie") terms-de.txt 387-387 集合集或类subclass
(termFormat ro SetOrClass "mulþime sau clasã") relations-ro.kif 582-582 集合集或类subclass
(termFormat tg SetOrClass "isang huwego o klase") terms-tg.txt 95-95 集合集或类subclass

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


(domain CardinalityFn 1 SetOrClass) Merge.kif 5533-5533 势函数 的 1 数量 是 集或类instance
(domain ComplementFn 1 SetOrClass) Merge.kif 5502-5502 补集函数 的 1 数量 是 集或类instance
(domain IntersectionFn 1 SetOrClass) Merge.kif 5480-5480 交集函数 的 1 数量 是 集或类instance
(domain IntersectionFn 2 SetOrClass) Merge.kif 5481-5481 交集函数 的 2 数量 是 集或类instance
(domain PowerSetFn 1 SetOrClass) Merge.kif 790-790 幂集函数 的 1 数量 是 集或类instance
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5491-5491 相对补集函数 的 1 数量 是 集或类instance
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5492-5492 相对补集函数 的 2 数量 是 集或类instance
(domain UnionFn 1 SetOrClass) Merge.kif 5454-5454 结合函数 的 1 数量 是 集或类instance
(domain UnionFn 2 SetOrClass) Merge.kif 5455-5455 结合函数 的 2 数量 是 集或类instance
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 945-945 adjacentOrientation 的 2 数量 是 集或类instance
(domain cardinality 1 SetOrClass) Government.kif 400-400 基数 的 1 数量 是 集或类instance
(domain lexicon 1 SetOrClass) engineering.kif 39-39 词库 的 1 数量 是 集或类instance
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5523-5523 概括交集函数 的 1 数量 是 集或类subclass
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5512-5512 概括结合函数 的 1 数量 是 集或类subclass

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


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

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 2139-2152
(=>
    (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 2212-2225
(=>
    (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 2176-2189


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners