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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subCollection
subCollection

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


(documentation subCollection ChineseLanguage "(subCollection ?COLL1 ?COLL2) 的意思是 Collection ?COLL1 是 Collection ?COLL2 的真正部分。") Merge.kif 2027-2028
(documentation subCollection EnglishLanguage "(subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2.") Merge.kif 2024-2025
(documentation subCollection JapaneseLanguage "(subCollection ?COLL1 ?COLL2) とは Collection ?COLL1が、Collection ?COLL2C2の適切な部分、という意味である。") Merge.kif 2030-2031
(documentation subCollection SpanishLanguage "(subCollection ?COLL1 ?COLL2) significa que la Collection ?COLL1 es una propia parte de la Collection ?COLL2.") Merge.kif 2033-2034
(domain subCollection 1 Collection) Merge.kif 2021-2021 The number 1 argument of sub collection is an instance of collection
(domain subCollection 2 Collection) Merge.kif 2022-2022 The number 2 argument of sub collection is an instance of collection
(instance subCollection BinaryPredicate) Merge.kif 2019-2019 sub collection is an instance of binary predicate
(instance subCollection PartialOrderingRelation) Merge.kif 2020-2020 sub collection is an instance of partial ordering relation
(subrelation subCollection part) Merge.kif 2036-2036 sub collection is a subrelation of part

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


(format ChineseLanguage subCollection "%1 %n 是 %2 的 真正的子集") chinese_format.kif 185-185
(format EnglishLanguage subCollection "%1 is %n a proper sub-collection of %2") english_format.kif 255-255
(format JapaneseLanguage subCollection "%1 は %2 の 適切な sub-collection では %n") english_format.kif 256-256
(subrelation subOrganization subCollection) Merge.kif 21390-21390 sub organization is a subrelation of sub collection
(termFormat ChineseLanguage subCollection "子集") chinese_format.kif 186-186 "子集" is the printable form of sub collection in ChineseLanguage
(termFormat ChineseLanguage subCollection "子集合") domainEnglishFormat.kif 55651-55651 "子集合" is the printable form of sub collection in ChineseLanguage
(termFormat ChineseTraditionalLanguage subCollection "子集合") domainEnglishFormat.kif 55650-55650 "子集合" is the printable form of sub collection in ChineseTraditionalLanguage
(termFormat EnglishLanguage subCollection "sub collection") domainEnglishFormat.kif 55649-55649 "sub collection" is the printable form of sub collection in english language

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


(<=>
    (subCollection ?COLL1 ?COLL2)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?COLL1)
            (member ?MEMBER ?COLL2))))
Merge.kif 2038-2043 A collection is a proper sub-collection of another collection if and only if for all an object
(=>
    (and
        (instance ?UW UnconventionalWarfare)
        (agent ?UW ?AGENT)
        (patient ?UW ?POPULACE)
        (or
            (member ?POPULACE
                (ResidentFn ?NATION))
            (subCollection ?POPULACE
                (ResidentFn ?NATION))))
    (exists (?CONTEST)
        (and
            (instance ?CONTEST Contest)
            (agent ?CONTEST ?POPULACE)
            (agent ?CONTEST
                (GovernmentFn ?NATION)))))
MilitaryProcesses.kif 163-174
(=>
    (and
        (instance ?VISITS Collection)
        (instance ?PURCHASES Collection)
        (subCollection ?PURCHASES ?VISITS)
        (forall (?MEMBER)
            (=>
                (member ?MEMBER ?VISITS)
                (instance ?MEMBER AccessingWebPage)))
        (forall (?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
            (=>
                (and
                    (instance ?VISITOR Human)
                    (instance ?BUYING Buying)
                    (instance ?ACCESSING AccessingWebPage)
                    (instance ?PAGE WebPage)
                    (member ?ACCESSING ?VISITS)
                    (destination ?ACCESSING ?PAGE)
                    (agent ?BUYING ?VISITOR)
                    (agent ?ACCESSING ?VISITOR)
                    (during
                        (WhenFn ?BUYING)
                        (WhenFn ?ACCESSING))
                    (instrument ?BUYING ?PAGE))
                (member ?BUYING ?QUALIFYING_PURCHASES))))
    (equal
        (SCRFn ?VISITS ?INTERVAL)
        (DivisionFn
            (CardinalityFn
                (KappaFn ?PURCHASE_IN_INTERVAL
                    (and
                        (member ?PURCHASE_IN_INTERVAL ?PURCHASES)
                        (during
                            (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL))))
            (CardinalityFn
                (KappaFn ?VISIT_IN_INTERVAL
                    (and
                        (member ?VISIT_IN_INTERVAL ?VISITS)
                        (during
                            (WhenFn ?PURCHASE_IN_INTERVAL) ?INTERVAL)))))))
UXExperimentalTerms.kif 3864-3899

consequent
-------------------------


(=>
    (and
        (instance ?SAMPLE_COLL Collection)
        (instance ?POP_COLL Collection)
        (instance ?EXPERIMENT Experimenting)
        (statisticalPopulation ?SAMPLE_COLL ?POP_COLL ?EXPERIMENT))
    (subCollection ?SAMPLE_COLL ?POP_COLL))
UXExperimentalTerms.kif 606-612
(=>
    (and
        (numberChildOccupant ?RESERVE ?NUM)
        (fulfillingEntity ?RESERVE ?HOTEL))
    (exists (?COL ?SUBCOL)
        (and
            (instance ?COL GroupOfPeople)
            (subCollection ?SUBCOL ?COL)
            (instance ?SUBCOL GroupOfPeople)
            (memberType ?SUBCOL HumanChild)
            (memberCount ?SUBCOL ?NUM)
            (potentialCustomer ?COL ?HOTEL))))
Hotel.kif 2839-2850
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 20546-20552

appearance as argument number 0
-------------------------


(subCollection AhmadiyyaSect Islam) People.kif 1340-1340 Ahmadiyya sect is a proper sub-collection of islam
(subCollection AimakEthnicity AsianEthnicity) People.kif 499-499 Aimak ethnicity is a proper sub-collection of asian ethnicity
(subCollection Anglicanism Christianity) People.kif 1219-1219 Anglicanism is a proper sub-collection of christianity
(subCollection BritishVirginIslands VirginIslands) Media.kif 2572-2572 British virgin islands is a proper sub-collection of virgin islands
(subCollection DruzeSect Islam) People.kif 1353-1353 Druze sect is a proper sub-collection of islam
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1241-1241 Eastern orthodox christianity is a proper sub-collection of christianity
(subCollection HazaraEthnicity AsianEthnicity) People.kif 538-538 Hazara ethnicity is a proper sub-collection of asian ethnicity
(subCollection IndochineseEthnicity AsianEthnicity) People.kif 558-558 Indochinese ethnicity is a proper sub-collection of asian ethnicity
(subCollection Protestantism Christianity) People.kif 1255-1255 Protestantism is a proper sub-collection of christianity
(subCollection RomanCatholicism Christianity) People.kif 1269-1269 Roman catholicism is a proper sub-collection of christianity
(subCollection RussianEthnicity SlavicEthnicity) People.kif 597-597 Russian ethnicity is a proper sub-collection of slavic ethnicity
(subCollection ShiiteSect Islam) People.kif 1367-1367 Shiite sect is a proper sub-collection of islam
(subCollection SunniSect Islam) People.kif 1385-1385 Sunni sect is a proper sub-collection of islam
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity) People.kif 633-633 Turkmen ethnicity is a proper sub-collection of central asian turkish ethnicity
(subCollection USVirginIslands VirginIslands) Media.kif 2573-2573 USVirginIslands is a proper sub-collection of virgin islands
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity) People.kif 640-640 Uzbek ethnicity is a proper sub-collection of central asian turkish ethnicity


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners