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 同じセットまたはクラスセット + クラスexhaustively partitioned
(subclass SetOrClass Abstract) Merge.kif 2139-2139 同じセットまたはクラス抽象的なsubclass では

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


(range ComplementFn SetOrClass) Merge.kif 5503-5503 ComplementFnrange同じセットまたはクラス のインスタンス では
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5524-5524 GeneralizedIntersectionFnrange同じセットまたはクラス のインスタンス では
(range GeneralizedUnionFn SetOrClass) Merge.kif 5513-5513 GeneralizedUnionFnrange同じセットまたはクラス のインスタンス では
(range IntersectionFn SetOrClass) Merge.kif 5482-5482 IntersectionFnrange同じセットまたはクラス のインスタンス では
(range RelativeComplementFn SetOrClass) Merge.kif 5493-5493 RelativeComplementFnrange同じセットまたはクラス のインスタンス では
(range UnionFn SetOrClass) Merge.kif 5456-5456 UnionFnrange同じセットまたはクラス のインスタンス では
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 791-791 PowerSetFn が返す値は 同じセットまたはクラスsubclasses では
(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 CardinalityFn の数値 1 引数は 同じセットまたはクラスinstance では
(domain ComplementFn 1 SetOrClass) Merge.kif 5502-5502 ComplementFn の数値 1 引数は 同じセットまたはクラスinstance では
(domain IntersectionFn 1 SetOrClass) Merge.kif 5480-5480 IntersectionFn の数値 1 引数は 同じセットまたはクラスinstance では
(domain IntersectionFn 2 SetOrClass) Merge.kif 5481-5481 IntersectionFn の数値 2 引数は 同じセットまたはクラスinstance では
(domain PowerSetFn 1 SetOrClass) Merge.kif 790-790 PowerSetFn の数値 1 引数は 同じセットまたはクラスinstance では
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5491-5491 RelativeComplementFn の数値 1 引数は 同じセットまたはクラスinstance では
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5492-5492 RelativeComplementFn の数値 2 引数は 同じセットまたはクラスinstance では
(domain UnionFn 1 SetOrClass) Merge.kif 5454-5454 UnionFn の数値 1 引数は 同じセットまたはクラスinstance では
(domain UnionFn 2 SetOrClass) Merge.kif 5455-5455 UnionFn の数値 2 引数は 同じセットまたはクラスinstance では
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 945-945 adjacentOrientation の数値 2 引数は 同じセットまたはクラスinstance では
(domain cardinality 1 SetOrClass) Government.kif 400-400 cardinality の数値 1 引数は 同じセットまたはクラスinstance では
(domain lexicon 1 SetOrClass) engineering.kif 39-39 lexicon の数値 1 引数は 同じセットまたはクラスinstance では
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5523-5523 GeneralizedIntersectionFn の数値 1 引数は 同じセットまたはクラスsubclass では
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5512-5512 GeneralizedUnionFn の数値 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