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 的真正部分。") 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 1186-1187
(domain subCollection 1 Collection) Merge.kif 1183-1183 domain subCollection, 1 and Collection
(domain subCollection 2 Collection) Merge.kif 1184-1184 domain subCollection, 2 and Collection
(instance subCollection BinaryPredicate) Merge.kif 1181-1181 instance subCollection and BinaryPredicate
(instance subCollection PartialOrderingRelation) Merge.kif 1182-1182 instance subCollection and PartialOrderingRelation
(subrelation subCollection part) Merge.kif 1189-1189 subrelation subCollection and 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 189-189
(subrelation subOrganization subCollection) Merge.kif 15535-15535 subrelation subOrganization and subCollection
(termFormat ChineseLanguage subCollection "子集") chinese_format.kif 186-186
(termFormat ChineseLanguage subCollection "子集合") domainEnglishFormat.kif 55603-55603
(termFormat ChineseTraditionalLanguage subCollection "子集合") domainEnglishFormat.kif 55602-55602
(termFormat EnglishLanguage subCollection "sub collection") domainEnglishFormat.kif 55601-55601

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


(<=>
    (subCollection ?COLL1 ?COLL2)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?COLL1)
            (member ?MEMBER ?COLL2))))
Merge.kif 1191-1196 subCollection Collection and Collection Object
(=>
    (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 3871-3906

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 604-610
(=>
    (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 2845-2856
(=>
    (memberTypeCount ?GROUP ?TYPE ?NUMBER)
    (exists (?SUBGROUP)
        (and
            (subCollection ?SUBGROUP ?GROUP)
            (memberCount ?SUBGROUP ?NUMBER)
            (memberType ?SUBGROUP ?TYPE))))
Mid-level-ontology.kif 20558-20564

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


(subCollection AhmadiyyaSect Islam) People.kif 1341-1341 subCollection AhmadiyyaSect and Islam
(subCollection AimakEthnicity AsianEthnicity) People.kif 499-499 subCollection AimakEthnicity and AsianEthnicity
(subCollection Anglicanism Christianity) People.kif 1219-1219 subCollection Anglicanism and Christianity
(subCollection BritishVirginIslands VirginIslands) Media.kif 2572-2572 subCollection BritishVirginIslands and VirginIslands
(subCollection DruzeSect Islam) People.kif 1355-1355 subCollection DruzeSect and Islam
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1241-1241 subCollection EasternOrthodoxChristianity and Christianity
(subCollection HazaraEthnicity AsianEthnicity) People.kif 538-538 subCollection HazaraEthnicity and AsianEthnicity
(subCollection IndochineseEthnicity AsianEthnicity) People.kif 558-558 subCollection IndochineseEthnicity and AsianEthnicity
(subCollection Protestantism Christianity) People.kif 1255-1255 subCollection Protestantism and Christianity
(subCollection RomanCatholicism Christianity) People.kif 1269-1269 subCollection RomanCatholicism and Christianity
(subCollection RussianEthnicity SlavicEthnicity) People.kif 597-597 subCollection RussianEthnicity and SlavicEthnicity
(subCollection ShiiteSect Islam) People.kif 1370-1370 subCollection ShiiteSect and Islam
(subCollection SunniSect Islam) People.kif 1389-1389 subCollection SunniSect and Islam
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity) People.kif 633-633 subCollection TurkmenEthnicity and CentralAsianTurkishEthnicity
(subCollection USVirginIslands VirginIslands) Media.kif 2573-2573 subCollection USVirginIslands and VirginIslands
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity) People.kif 640-640 subCollection UzbekEthnicity and CentralAsianTurkishEthnicity


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