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 1220-1221
(domain subCollection 1 Collection)	Merge.kif 1217-1217	The number 1 argument of sub collection is an instance of collection
(domain subCollection 2 Collection)	Merge.kif 1218-1218	The number 2 argument of sub collection is an instance of collection
(instance subCollection BinaryPredicate)	Merge.kif 1215-1215	sub collection is an instance of binary predicate
(instance subCollection PartialOrderingRelation)	Merge.kif 1216-1216	sub collection is an instance of partial ordering relation
(subrelation subCollection part)	Merge.kif 1223-1223	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 189-189
(subrelation subOrganization subCollection)	Merge.kif 16061-16061	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 1225-1230	A collection is a proper sub-collection of another collection if and only if for all a physical if the physical is a member of the collection, then the physical is a member of the other 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	If a process is an instance of unconventional warfare and a government is an agent of the process and the government is not equal to an agent and the government is not equal to the government of a geopolitical area and the agent is a patient of the process and the agent is a member of the resident of the geopolitical area or the agent is a proper sub-collection of the resident of the geopolitical area, then there exists another process such that the other process is an instance of contest and the agent is an agent of the other process and the government of the geopolitical area is an agent of the other process
(=> (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	If a collection is an instance of collection and another collection is an instance of collection and the other collection is a proper sub-collection of the collection and for all a physical if the physical is a member of the collection, then the physical is an instance of AccessingWebPage and for all a process, an agent,, , another process,, , the process and an object if the agent is an instance of human and the process is an instance of buying and the other process is an instance of AccessingWebPage and the object is an instance of WebPage and the other process is a member of the collection and the other process ends up at the object and the agent is an agent of the process and the agent is an agent of the other process and the time of existence of the process takes place during the time of existence of the other process and the object is an instrument for the process, then the process is a member of the other collection , then purchases made in the collection during a time interval is equal to the number of instances in the class described by an entity_IN_INTERVAL and the number of instances in the class described by another entity_IN_INTERVAL

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	If an entity_COLL is an instance of collection and another entity_COLL is an instance of collection and an experimenting is an instance of experimenting and the entity_COLL is a sample of the other entity_COLL for the experimenting, then the entity_COLL is a proper sub-collection of the other 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 2872-2883	If an agent may have an integer children and the agent fulfills another agent, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the other agent
(=> (memberTypeCount ?GROUP ?TYPE ?NUMBER) (exists (?SUBGROUP) (and (subCollection ?SUBGROUP ?GROUP) (memberCount ?SUBGROUP ?NUMBER) (memberType ?SUBGROUP ?TYPE))))	Mid-level-ontology.kif 21761-21767	If a collection is member type count a set or class for a nonnegative integer, then there exists another collection such that the other collection is a proper sub-collection of the collection and the nonnegative integer is a member count of the other collection and the set or class is a member type of the other collection

appearance as argument number 0

(subCollection AhmadiyyaSect Islam)	People.kif 1342-1342	Ahmadiyya sect is a proper sub-collection of islam
(subCollection AimakEthnicity AsianEthnicity)	People.kif 499-499	Aimak ethnicity is a proper sub-collection of asian ethnicity
(subCollection Anglicanism Christianity)	People.kif 1220-1220	Anglicanism is a proper sub-collection of christianity
(subCollection BritishVirginIslands VirginIslands)	Media.kif 2572-2572	British virgin islands is a proper sub-collection of virgin islands
(subCollection DruzeSect Islam)	People.kif 1356-1356	Druze sect is a proper sub-collection of islam
(subCollection EasternOrthodoxChristianity Christianity)	People.kif 1242-1242	Eastern orthodox christianity is a proper sub-collection of christianity
(subCollection HazaraEthnicity AsianEthnicity)	People.kif 538-538	Hazara ethnicity is a proper sub-collection of asian ethnicity
(subCollection IndochineseEthnicity AsianEthnicity)	People.kif 558-558	Indochinese ethnicity is a proper sub-collection of asian ethnicity
(subCollection Protestantism Christianity)	People.kif 1256-1256	Protestantism is a proper sub-collection of christianity
(subCollection RomanCatholicism Christianity)	People.kif 1270-1270	Roman catholicism is a proper sub-collection of christianity
(subCollection RussianEthnicity SlavicEthnicity)	People.kif 598-598	Russian ethnicity is a proper sub-collection of slavic ethnicity
(subCollection ShiiteSect Islam)	People.kif 1371-1371	Shiite sect is a proper sub-collection of islam
(subCollection SunniSect Islam)	People.kif 1390-1390	Sunni sect is a proper sub-collection of islam
(subCollection TurkmenEthnicity CentralAsianTurkishEthnicity)	People.kif 634-634	Turkmen ethnicity is a proper sub-collection of central asian turkish ethnicity
(subCollection USVirginIslands VirginIslands)	Media.kif 2573-2573	USVirginIslands is a proper sub-collection of virgin islands
(subCollection UzbekEthnicity CentralAsianTurkishEthnicity)	People.kif 641-641	Uzbek ethnicity is a proper sub-collection of central asian turkish ethnicity

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