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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1635-1636
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1189-1190
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1186-1186	The number 1 argument of sub collection is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1187-1187	The number 2 argument of sub collection is an instance of collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1184-1184	sub collection is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1185-1185	sub collection is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1192-1192	sub collection is a subrelation of part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 185-185
No TPTP formula. May not be expressible in strict first order.	english_format.kif 189-189
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15611-15611	sub organization is a subrelation of sub collection
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 186-186
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55688-55688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55687-55687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55686-55686

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1194-1199	A collection is a proper sub-collection of another collection if and only if for all an object if the object is a member of the collection, then the object is a member of the other collection
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 an object if the object is a member of the collection, then the object is an instance of AccessingWebPage and for all a process, an agent,, , another object,, , the process and a third object if the agent is an instance of human and the process is an instance of buying and the other object is an instance of AccessingWebPage and the third object is an instance of WebPage and the other object is a member of the collection and the other object ends up at the third object and the agent is an agent of the process and the agent is an agent of the other object and the time of existence of the process takes place during the time of existence of the other object and the third 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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2859-2870	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19107-19113	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

No TPTP formula. May not be expressible in strict first order.	People.kif 1341-1341	Ahmadiyya sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 499-499	Aimak ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 1219-1219	Anglicanism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2572-2572	British virgin islands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order.	People.kif 1355-1355	Druze sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1241-1241	Eastern orthodox christianity is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 538-538	Hazara ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 558-558	Indochinese ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 1255-1255	Protestantism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 1269-1269	Roman catholicism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 597-597	Russian ethnicity is a proper sub-collection of slavic ethnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 1370-1370	Shiite sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1389-1389	Sunni sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 633-633	Turkmen ethnicity is a proper sub-collection of central asian turkish ethnicity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2573-2573	USVirginIslands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order.	People.kif 640-640	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