subCollection - Sigma Knowledge base Browser

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 1191-1192
(domain subCollection 1 Collection)	Merge.kif 1188-1188	domain subCollection, 1 and Collection
(domain subCollection 2 Collection)	Merge.kif 1189-1189	domain subCollection, 2 and Collection
(instance subCollection BinaryPredicate)	Merge.kif 1186-1186	instance subCollection and BinaryPredicate
(instance subCollection PartialOrderingRelation)	Merge.kif 1187-1187	instance subCollection and PartialOrderingRelation
(subrelation subCollection part)	Merge.kif 1194-1194	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 15442-15442	subrelation subOrganization and subCollection
(termFormat ChineseLanguage subCollection "子集")	chinese_format.kif 186-186	termFormat ChineseLanguage, subCollection and "子集"
(termFormat ChineseLanguage subCollection "子集合")	domainEnglishFormat.kif 55651-55651	termFormat ChineseLanguage, subCollection and "子集合"
(termFormat ChineseTraditionalLanguage subCollection "子集合")	domainEnglishFormat.kif 55650-55650	termFormat ChineseTraditionalLanguage, subCollection and "子集合"
(termFormat EnglishLanguage subCollection "sub collection")	domainEnglishFormat.kif 55649-55649	termFormat EnglishLanguage, subCollection and "sub collection"

antecedent

(<=> (subCollection ?COLL1 ?COLL2) (forall (?MEMBER) (=> (member ?MEMBER ?COLL1) (member ?MEMBER ?COLL2))))	Merge.kif 1196-1201	subCollection Collection and Collection Object member Object and Collection member Object and Collection
(=> (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	instance Process and UnconventionalWarfare agent Process and Government equal Government and Agent equal Government and GovernmentFn GeopoliticalArea patient Process and Agent member Agent and ResidentFn GeopoliticalArea subCollection Agent and ResidentFn GeopoliticalArea Process instance Process and Contest agent Process and Agent agent Process and GovernmentFn GeopoliticalArea
(=> (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	instance Collection and Collection instance Collection and Collection subCollection Collection and Collection Object member Object and Collection instance Object and AccessingWebPage Process Agent, Object, Process and Object instance Agent and Human instance Process and Buying instance Object and AccessingWebPage instance Object and WebPage member Object and Collection destination Object and Object agent Process and Agent agent Object and Agent during WhenFn Process and WhenFn Object instrument Process and Object member Process and Collection equal SCRFn Collection and TimeInterval and DivisionFn CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval and CardinalityFn KappaFn entity_IN_INTERVAL and member entity_IN_INTERVAL and Collection during WhenFn entity_IN_INTERVAL and TimeInterval

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	instance entity_COLL and Collection instance entity_COLL and Collection instance Experimenting and Experimenting statisticalPopulation entity_COLL, entity_COLL and Experimenting subCollection entity_COLL and entity_COLL
(=> (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	numberChildOccupant Agent and Integer fulfillingEntity Agent and Agent Collection Collection instance Collection and GroupOfPeople subCollection Collection and Collection instance Collection and GroupOfPeople memberType Collection and HumanChild memberCount Collection and Integer potentialCustomer Collection and Agent
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 20546-20552	memberTypeCount Collection, SetOrClass and NonnegativeInteger Collection subCollection Collection and Collection memberCount Collection and NonnegativeInteger memberType Collection and SetOrClass

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