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的实例。") Merge.kif 3455-3456
(documentation SetOrClass EnglishLanguage "The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.") Merge.kif 3451-3453
(documentation SetOrClass JapaneseLanguage "Sets の SetOrClassClasses。 例: elements または instances がある Abstract の任意のインスタンス。") Merge.kif 3458-3459
(partition SetOrClass Set Class) Merge.kif 3449-3449 同じセットまたはクラスセット + クラスexhaustively partitioned %n
(subclass SetOrClass Abstract) Merge.kif 3448-3448 同じセットまたはクラス抽象的なsubclass では %n

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


(range ComplementFn SetOrClass) Merge.kif 7899-7899 ComplementFnrange同じセットまたはクラス のインスタンス では %n
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 7937-7937 GeneralizedIntersectionFnrange同じセットまたはクラス のインスタンス では %n
(range GeneralizedUnionFn SetOrClass) Merge.kif 7917-7917 GeneralizedUnionFnrange同じセットまたはクラス のインスタンス では %n
(range IntersectionFn SetOrClass) Merge.kif 7862-7862 IntersectionFnrange同じセットまたはクラス のインスタンス では %n
(range RelativeComplementFn SetOrClass) Merge.kif 7881-7881 RelativeComplementFnrange同じセットまたはクラス のインスタンス では %n
(range UnionFn SetOrClass) Merge.kif 7828-7828 UnionFnrange同じセットまたはクラス のインスタンス では %n
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 1175-1175 PowerSetFn が返す値は 同じセットまたはクラスsubclasses では %n
(subclass Set SetOrClass) Merge.kif 3489-3489 セット同じセットまたはクラスsubclass では %n
(termFormat ChineseLanguage SetOrClass "集或类") chinese_format.kif 885-885 termFormat ChineseLanguage, 同じセットまたはクラス and "集或类"
(termFormat EnglishLanguage SetOrClass "set or class") english_format.kif 1348-1348 termFormat EnglishLanguage, 同じセットまたはクラス and "set or class"
(termFormat JapaneseLanguage SetOrClass "同じセットまたはクラス") english_format.kif 1349-1349 termFormat JapaneseLanguage, 同じセットまたはクラス and "同じセットまたはクラス"

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


(domain AttrFn 1 SetOrClass) Merge.kif 2851-2851 AttrFn の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain ComplementFn 1 SetOrClass) Merge.kif 7898-7898 ComplementFn の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain IntersectionFn 1 SetOrClass) Merge.kif 7860-7860 IntersectionFn の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain IntersectionFn 2 SetOrClass) Merge.kif 7861-7861 IntersectionFn の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain PowerSetFn 1 SetOrClass) Merge.kif 1174-1174 PowerSetFn の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 7879-7879 RelativeComplementFn の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 7880-7880 RelativeComplementFn の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain UnionFn 1 SetOrClass) Merge.kif 7826-7826 UnionFn の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain UnionFn 2 SetOrClass) Merge.kif 7827-7827 UnionFn の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 903-903 adjacentOrientation の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain cardinality 1 SetOrClass) Government.kif 425-425 cardinality の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain classIntersection 1 SetOrClass) ComputerInput.kif 67-67 classIntersection の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain classIntersection 2 SetOrClass) ComputerInput.kif 68-68 classIntersection の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain classIntersection 3 SetOrClass) ComputerInput.kif 69-69 classIntersection の数値 3 引数は 同じセットまたはクラスinstance では %n
(domain closedOn 2 SetOrClass) Merge.kif 5434-5434 closedOn の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain disjoint 1 SetOrClass) Merge.kif 584-584 disjoint の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain disjoint 2 SetOrClass) Merge.kif 585-585 disjoint の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain domain 3 SetOrClass) Merge.kif 290-290 domain の数値 3 引数は 同じセットまたはクラスinstance では %n
(domain domainSubclass 3 SetOrClass) Merge.kif 338-338 domainSubclass の数値 3 引数は 同じセットまたはクラスinstance では %n
(domain equivalenceRelationOn 2 SetOrClass) Merge.kif 5603-5603 equivalenceRelationOn の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain immediateSubclass 1 SetOrClass) Merge.kif 203-203 immediateSubclass の数値 1 引数は 同じセットまたはクラスinstance では %n
(domain immediateSubclass 2 SetOrClass) Merge.kif 204-204 immediateSubclass の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain instance 2 SetOrClass) Merge.kif 83-83 instance の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain irreflexiveOn 2 SetOrClass) Merge.kif 5495-5495 irreflexiveOn の数値 2 引数は 同じセットまたはクラスinstance では %n
(domain lexicon 1 SetOrClass) engineering.kif 39-39 lexicon の数値 1 引数は 同じセットまたはクラスinstance では %n

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 2693-2693 抽象的な, 属性, 同じセットまたはクラス, 関係, + 命題disjointly decomposed %n

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 188-192