Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SetOrClass
SetOrClass(Conjunto ou Classe)

appearance as argument number 1
-------------------------


(documentation SetOrClass ChineseLanguage "这是 Set 和 Class 的 SetOrClass，也就是说 任何 Abstract 有 element 或 instance的实例。") 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 2131-2133
(documentation SetOrClass JapaneseLanguage "Sets の SetOrClass と Classes。　例： elements または instances がある Abstract の任意のインスタンス。") japanese_format.kif 419-420
(partition SetOrClass Set Class) Merge.kif 2129-2129 O conceito Conjunto ou Classe e' completamente decomposto em Conjunto + Classe
(subclass SetOrClass Abstract) Merge.kif 2128-2128 Conjunto ou Classe e' uma sub-classe de Abstrato

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


(range ComplementFn SetOrClass) Merge.kif 5478-5478 O contra-dominio de ComplementFn e' uma instancia de Conjunto ou Classe
(range GeneralizedIntersectionFn SetOrClass) Merge.kif 5499-5499 O contra-dominio de GeneralizedIntersectionFn e' uma instancia de Conjunto ou Classe
(range GeneralizedUnionFn SetOrClass) Merge.kif 5488-5488 O contra-dominio de GeneralizedUnionFn e' uma instancia de Conjunto ou Classe
(range IntersectionFn SetOrClass) Merge.kif 5457-5457 O contra-dominio de IntersectionFn e' uma instancia de Conjunto ou Classe
(range RelativeComplementFn SetOrClass) Merge.kif 5468-5468 O contra-dominio de RelativeComplementFn e' uma instancia de Conjunto ou Classe
(range UnionFn SetOrClass) Merge.kif 5431-5431 O contra-dominio de UnionFn e' uma instancia de Conjunto ou Classe
(rangeSubclass PowerSetFn SetOrClass) Merge.kif 798-798 Os valores retornados por PowerSetFn sao as sub-classes de Conjunto ou Classe
(subclass Class SetOrClass) Merge.kif 2136-2136 Classe e' uma sub-classe de Conjunto ou Classe
(subclass Set SetOrClass) Merge.kif 2148-2148 Conjunto e' uma sub-classe de Conjunto ou Classe
(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 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 ComplementFn 1 SetOrClass) Merge.kif 5477-5477 O argumento numero 1 de ComplementFn e' uma instancia de Conjunto ou Classe
(domain IntersectionFn 1 SetOrClass) Merge.kif 5455-5455 O argumento numero 1 de IntersectionFn e' uma instancia de Conjunto ou Classe
(domain IntersectionFn 2 SetOrClass) Merge.kif 5456-5456 O argumento numero 2 de IntersectionFn e' uma instancia de Conjunto ou Classe
(domain PowerSetFn 1 SetOrClass) Merge.kif 797-797 O argumento numero 1 de PowerSetFn e' uma instancia de Conjunto ou Classe
(domain RelativeComplementFn 1 SetOrClass) Merge.kif 5466-5466 O argumento numero 1 de RelativeComplementFn e' uma instancia de Conjunto ou Classe
(domain RelativeComplementFn 2 SetOrClass) Merge.kif 5467-5467 O argumento numero 2 de RelativeComplementFn e' uma instancia de Conjunto ou Classe
(domain UnionFn 1 SetOrClass) Merge.kif 5429-5429 O argumento numero 1 de UnionFn e' uma instancia de Conjunto ou Classe
(domain UnionFn 2 SetOrClass) Merge.kif 5430-5430 O argumento numero 2 de UnionFn e' uma instancia de Conjunto ou Classe
(domain adjacentOrientation 2 SetOrClass) Hotel.kif 937-937 O argumento numero 2 de adjacentOrientation e' uma instancia de Conjunto ou Classe
(domain cardinality 1 SetOrClass) Government.kif 436-436 O argumento numero 1 de cardinality e' uma instancia de Conjunto ou Classe
(domain lexicon 1 SetOrClass) engineering.kif 39-39 O argumento numero 1 de lexicon e' uma instancia de Conjunto ou Classe
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5498-5498 O argumento numero 1 de GeneralizedIntersectionFn e' uma sub-classe de Conjunto ou Classe
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5487-5487 O argumento numero 1 de GeneralizedUnionFn e' uma sub-classe de Conjunto ou Classe

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


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

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 2137-2150
(=>
    (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 2210-2223
(=>
    (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 2174-2187