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
(subclass SetOrClass Abstract) Merge.kif 2139-2139

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


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

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


(domain CardinalityFn 1 SetOrClass) Merge.kif 5533-5533
(domain ComplementFn 1 SetOrClass) Merge.kif 5502-5502
(domain IntersectionFn 1 SetOrClass) Merge.kif 5480-5480
(domain IntersectionFn 2 SetOrClass) Merge.kif 5481-5481
(domain PowerSetFn 1 SetOrClass) Merge.kif 790-790
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5491-5491
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5492-5492
(domain UnionFn 1 SetOrClass) Merge.kif 5454-5454
(domain UnionFn 2 SetOrClass) Merge.kif 5455-5455
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 945-945
(domain cardinality 1 SetOrClass) Government.kif 400-400
(domain lexicon 1 SetOrClass) engineering.kif 39-39
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5523-5523
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5512-5512

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