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 1251-1252
(domain subCollection 1 Collection) Merge.kif 1248-1248 子集 的 1 数量 是 群体instance
(domain subCollection 2 Collection) Merge.kif 1249-1249 子集 的 2 数量 是 群体instance
(instance subCollection BinaryPredicate) Merge.kif 1246-1246 子集二元谓语instance
(instance subCollection PartialOrderingRelation) Merge.kif 1247-1247 子集偏序关系instance
(subrelation subCollection part) Merge.kif 1254-1254 子集部分subrelation

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 16472-16472 子机构子集subrelation
(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 1256-1261 群体另一个 群体 的 真正的子集 若且唯若 对所有 物理
(=>
    (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 22117-22123

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


(subCollection AhmadiyyaSect Islam) People.kif 1349-1349 Ahmadiyya教派伊斯兰教 的 真正的子集
(subCollection AimakEthnicity AsianEthnicity) People.kif 506-506 爱马克族亚洲种族 的 真正的子集
(subCollection Anglicanism Christianity) People.kif 1227-1227 英国国教基督教 的 真正的子集
(subCollection BritishVirginIslands VirginIslands) Media.kif 2590-2590 英属维尔京群岛维尔京群岛 的 真正的子集
(subCollection DruzeSect Islam) People.kif 1363-1363 德鲁兹教派伊斯兰教 的 真正的子集
(subCollection EasternOrthodoxChristianity Christianity) People.kif 1249-1249 东正教基督教基督教 的 真正的子集
(subCollection HazaraEthnicity AsianEthnicity) People.kif 545-545 哈扎拉族亚洲种族 的 真正的子集
(subCollection IndochineseEthnicity AsianEthnicity) People.kif 565-565 印度支那种族亚洲种族 的 真正的子集
(subCollection Protestantism Christianity) People.kif 1263-1263 新教基督教 的 真正的子集
(subCollection RomanCatholicism Christianity) People.kif 1277-1277 罗马天主教基督教 的 真正的子集
(subCollection RussianEthnicity SlavicEthnicity) People.kif 605-605 俄罗斯种族斯拉夫民族 的 真正的子集
(subCollection ShiiteSect Islam) People.kif 1378-1378 什叶派伊斯兰教 的 真正的子集
(subCollection SunniSect Islam) People.kif 1397-1397 逊尼派伊斯兰教 的 真正的子集
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity) People.kif 641-641 土库曼族中亚土耳其种族 的 真正的子集
(subCollection USVirginIslands VirginIslands) Media.kif 2591-2591 USVirginIslands维尔京群岛 的 真正的子集
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity) People.kif 648-648 乌兹别克人的种族中亚土耳其种族 的 真正的子集


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 3.0 is open source software produced by Articulate Software and its partners