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的实例。") Merge.kif 2230-2231
(documentation SetOrClass EnglishLanguage "The SetOrClass of Sets and Classes, i.e. any instance of Abstract that has elements or instances.") Merge.kif 2227-2229
(partition SetOrClass Set Class) Merge.kif 2226-2226
(subclass SetOrClass Abstract) Merge.kif 2225-2225

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


(range ComplementFn SetOrClass) Merge.kif 5565-5565
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5590-5590
(range GeneralizedUnionFn SetOrClass) Merge.kif 5577-5577
(range IntersectionFn SetOrClass) Merge.kif 5540-5540
(range RelativeComplementFn SetOrClass) Merge.kif 5553-5553
(range UnionFn SetOrClass) Merge.kif 5512-5512
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 822-822
(subclass Set SetOrClass) Merge.kif 2250-2250
(termFormat ChineseLanguage SetOrClass "集或类") chinese_format.kif 885-885
(termFormat EnglishLanguage SetOrClass "set or class") english_format.kif 572-572
(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 92-92
(termFormat PortugueseLanguage SetOrClass "Conjunto ou Classe") portuguese_format.kif 513-513
(termFormat ar SetOrClass "مَجْمُوْعَة أَو صِنْف") arabic_format.kif 297-297
(termFormat cz SetOrClass "set or class") terms-cz.txt 128-128
(termFormat tg SetOrClass "isang huwego o klase") terms-tg.txt 95-95

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


(domain AttrFn 1 SetOrClass) Merge.kif 1820-1820
(domain ComplementFn 1 SetOrClass) Merge.kif 5564-5564
(domain IntersectionFn 1 SetOrClass) Merge.kif 5538-5538
(domain IntersectionFn 2 SetOrClass) Merge.kif 5539-5539
(domain PowerSetFn 1 SetOrClass) Merge.kif 821-821
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5551-5551
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5552-5552
(domain UnionFn 1 SetOrClass) Merge.kif 5510-5510
(domain UnionFn 2 SetOrClass) Merge.kif 5511-5511
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 903-903
(domain cardinality 1 SetOrClass) Government.kif 425-425
(domain classIntersection 1 SetOrClass) ComputerInput.kif 67-67
(domain classIntersection 2 SetOrClass) ComputerInput.kif 68-68
(domain classIntersection 3 SetOrClass) ComputerInput.kif 69-69
(domain closedOn 2 SetOrClass) Merge.kif 3677-3677
(domain disjoint 1 SetOrClass) Merge.kif 440-440
(domain disjoint 2 SetOrClass) Merge.kif 441-441
(domain domain 3 SetOrClass) Merge.kif 231-231
(domain domainSubclass 3 SetOrClass) Merge.kif 260-260
(domain equivalenceRelationOn 2 SetOrClass) Merge.kif 3810-3810
(domain immediateSubclass 1 SetOrClass) Merge.kif 165-165
(domain immediateSubclass 2 SetOrClass) Merge.kif 166-166
(domain instance 2 SetOrClass) Merge.kif 83-83
(domain irreflexiveOn 2 SetOrClass) Merge.kif 3726-3726
(domain lexicon 1 SetOrClass) engineering.kif 39-39

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 1710-1710

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 150-154