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 的真正部分。") Merge.kif 1313-1314
(documentation subCollection EnglishLanguage "(subCollection ?COLL1 ?COLL2) means that the Collection ?COLL1 is a proper part of the Collection ?COLL2.") Merge.kif 1311-1312
(domain subCollection 1 Collection) Merge.kif 1308-1308
(domain subCollection 2 Collection) Merge.kif 1309-1309
(instance subCollection BinaryPredicate) Merge.kif 1306-1306
(instance subCollection PartialOrderingRelation) Merge.kif 1307-1307
(subrelation subCollection part) Merge.kif 1315-1315

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 119-119
(format FrenchLanguage subCollection "%1 est %n une sous-collection appartenant � %2") french_format.kif 112-112
(format ItalianLanguage subCollection "%1 � %n sottoinsieme un proprio %2") relations-it.txt 272-272
(format PortugueseLanguage subCollection "%1 e' %n uma sub-colecao de %2") portuguese_format.kif 64-64
(format ar subCollection "%1 هو %n مَجْمُوعَة فَرْعِيَّة مِن %2") arabic_format.kif 62-62
(format cz subCollection "%1 %p{je} %n{nen�} a proper sub-collection of %2") relations-cz.txt 70-70
(format de subCollection "%1 ist eine korrekte teilsammlung von %2 %n{nicht}") relations-de.txt 235-235
(format hi subCollection "%1 %2 kaa eka uchita upa-sangraha %n hai") relations-hindi.txt 309-309
(format tg subCollection "%1 %n ay ang pangkat mas tiyak ng %2") relations-tg.txt 464-464
(subrelation subOrganization subCollection) Merge.kif 16880-16880
(termFormat ChineseLanguage subCollection "子集") chinese_format.kif 186-186
(termFormat EnglishLanguage subCollection "sub collection") domainEnglishFormat.kif 9713-9713
(termFormat ar subCollection "«مَجْمُوعَة فَرْعِيَّة مِن»") arabic_format.kif 512-512

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


(<=>
    (subCollection ?COLL1 ?COLL2)
    (forall (?MEMBER)
        (=>
            (member ?MEMBER ?COLL1)
            (member ?MEMBER ?COLL2))))
Merge.kif 1317-1322
(=>
    (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 3865-3900

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 607-613
(=>
    (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 20153-20159

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


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


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