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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subCollection

Sigma KEE - subCollection
subCollection

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


(documentation subCollection ChineseLanguage "(subCollection ?COLL1 ?COLL2) 的意思是 Collection ?COLL1 是 Collection ?COLL2 的真正部分。") chinese_format.kif 1635-1636
(documentation subCollection EnglishLanguage "(subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2.") Merge.kif 1245-1246
(domain subCollection 1 Collection) Merge.kif 1242-1242 The number 1 argument of sub collection is an instance of collection
(domain subCollection 2 Collection) Merge.kif 1243-1243 The number 2 argument of sub collection is an instance of collection
(instance subCollection BinaryPredicate) Merge.kif 1240-1240 sub collection is an instance of binary predicate
(instance subCollection PartialOrderingRelation) Merge.kif 1241-1241 sub collection is an instance of partial ordering relation
(subrelation subCollection part) Merge.kif 1248-1248 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 186-186
(subrelation subOrganization subCollection) Merge.kif 16459-16459 sub organization is a subrelation of sub collection
(termFormat ChineseLanguage subCollection "子集") chinese_format.kif 186-186
(termFormat ChineseLanguage subCollection "子集合") domainEnglishFormat.kif 55689-55689
(termFormat ChineseTraditionalLanguage subCollection "子集合") domainEnglishFormat.kif 55688-55688
(termFormat EnglishLanguage subCollection "sub collection") domainEnglishFormat.kif 55687-55687

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


(<=>
    (subCollection ?COLL1 ?COLL2)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?COLL1)
            (member ?MEMBER ?COLL2))))
Merge.kif 1250-1255 A collection is a proper sub-collection of another collection if and only if for all a physical
(=>
    (and
        (instance ?UW UnconventionalWarfare)
        (agent ?UW ?AGENT)
        (not
            (equal ?AGENT ?POPULACE))
        (not
            (equal ?AGENT
                (GovernmentFn ?NATION)))
        (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-183
(=>
    (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 ?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 3876-3911

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 608-614
(=>
    (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 2872-2883
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 22093-22099

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


(subCollection AhmadiyyaSect Islam) People.kif 1349-1349 Ahmadiyya sect is a proper sub-collection of islam
(subCollection AimakEthnicity AsianEthnicity) People.kif 506-506 Aimak ethnicity is a proper sub-collection of asian ethnicity
(subCollection Anglicanism Christianity) People.kif 1227-1227 Anglicanism is a proper sub-collection of christianity
(subCollection BritishVirginIslands VirginIslands) Media.kif 2590-2590 British virgin islands is a proper sub-collection of virgin islands
(subCollection DruzeSect Islam) People.kif 1363-1363 Druze sect is a proper sub-collection of islam
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1249-1249 Eastern orthodox christianity is a proper sub-collection of christianity
(subCollection HazaraEthnicity AsianEthnicity) People.kif 545-545 Hazara ethnicity is a proper sub-collection of asian ethnicity
(subCollection IndochineseEthnicity AsianEthnicity) People.kif 565-565 Indochinese ethnicity is a proper sub-collection of asian ethnicity
(subCollection Protestantism Christianity) People.kif 1263-1263 Protestantism is a proper sub-collection of christianity
(subCollection RomanCatholicism Christianity) People.kif 1277-1277 Roman catholicism is a proper sub-collection of christianity
(subCollection RussianEthnicity SlavicEthnicity) People.kif 605-605 Russian ethnicity is a proper sub-collection of slavic ethnicity
(subCollection ShiiteSect Islam) People.kif 1378-1378 Shiite sect is a proper sub-collection of islam
(subCollection SunniSect Islam) People.kif 1397-1397 Sunni sect is a proper sub-collection of islam
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity) People.kif 641-641 Turkmen ethnicity is a proper sub-collection of central asian turkish ethnicity
(subCollection USVirginIslands VirginIslands) Media.kif 2591-2591 USVirginIslands is a proper sub-collection of virgin islands
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity) People.kif 648-648 Uzbek ethnicity is a proper sub-collection of central asian turkish ethnicity


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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