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 1303-1304
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 218-219
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 259-260
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1300-1300	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 1301-1301	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 1298-1298	sub collection is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1299-1299	sub collection is an instance of partial ordering relation

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 186-186
No TPTP formula. May not be expressible in strict first order.	french_format.kif 112-112
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 272-272
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1941-1941
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 64-64
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 70-70
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 235-235
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 309-309
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 131-131
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 117-117
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 464-464
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16916-16916	sub organization is a subrelation of sub collection
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 186-186	sub organization is a subrelation of sub collection
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55714-55714	sub organization is a subrelation of sub collection
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55713-55713	sub organization is a subrelation of sub collection
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55712-55712	sub organization is a subrelation of sub collection
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 74-74	sub organization is a subrelation of sub collection

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1307-1312	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
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 835-842	If There are an integer number of a monoploid chromosome set MonoploidChromosomeSet in Collection a collection. and the monoploid chromosome set is a proper sub-collection of the collection, then equal the integer and the number of instances in the class described by the integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 980-990	If an object is an instance of pentaploid cell and another object is an instance of cell nucleus and the other object is a part of the object and a collection is located at the other object and the collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 5 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 927-937	If an object is an instance of triploid cell and another object is an instance of cell nucleus and the other object is a part of the object and a collection is located at the other object and the collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 3 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 945-955	If a collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection and There are 4 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of tetraploid cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 998-1008	If a collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection and There are 6 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of hexaploid cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 902-911	If a collection is an instance of collection and chromosome is a member type of the collection and a monoploid chromosome set is a proper sub-collection of the collection and There are 2 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection. and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of another object, then the other object is an instance of diploid cell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 872-881	If a collection is an instance of homologous chromosome set and chromosome is a member type of the collection and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of eukaryotic cell and a monoploid chromosome set is an instance of monoploid chromosome set and the monoploid chromosome set is a proper sub-collection of the collection, then There are 2 number of the monoploid chromosome set MonoploidChromosomeSet in Collection the collection.
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 883-894	If a collection is an instance of homologous chromosome set and chromosome is a member type of the collection and the collection is located at an object and the object is an instance of cell nucleus and the object is a part of eukaryotic cell and a monoploid chromosome set is a proper sub-collection of the collection and another monoploid chromosome set is a proper sub-collection of the collection and equal the monoploid chromosome set and the other monoploid chromosome set, then members of MonoploidChromosomeSet the monoploid chromosome set and members of MonoploidChromosomeSet the other monoploid chromosome set are homologoousChromosome pairs.
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 equal the government and an agent and equal the government and not 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 3668-3704	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 accessing web page 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 accessing web page and the object is an instance of web page 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 there exist a time interval, an entity_IN_INTERVAL and another entity_IN_INTERVAL such that equal purchases made in the collection during the time interval and the number of instances in the class described by the entity_IN_INTERVAL and the number of instances in the class described by the other entity_IN_INTERVAL

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 835-842	If There are an integer number of a monoploid chromosome set MonoploidChromosomeSet in Collection a collection. and the monoploid chromosome set is a proper sub-collection of the collection, then equal the integer and the number of instances in the class described by the integer
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1010-1031	If an object is an instance of hexaploid cell and another object is a part of the object and the other object is an instance of cell nucleus and a collection is located at the other object and the collection is an instance of collection and chromosome is a member type of the collection, then there exist another collection, a third collection and a fourth collection such that the other collection is an instance of homologous chromosome set and the other collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and the third collection is a proper sub-collection of the collection and the fourth collection is an instance of homologous chromosome set and the fourth collection is a proper sub-collection of the collection and equal the other collection and the third collection and equal the other collection and the fourth collection and equal the third collection and the fourth collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 957-972	If an object is an instance of tetraploid cell and another object is a part of the object and the other object is an instance of cell nucleus and a collection is located at the other object and the collection is an instance of collection and chromosome is a member type of the collection, then there exist another collection and a third collection such that the other collection is an instance of homologous chromosome set and the other collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and the third collection is a proper sub-collection of the collection and equal the other collection and the third collection
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4307-4322	If a collection is an instance of collection and chromosome is a member type of the collection and an object is a member of the collection and the object is a part of common wheat grass, then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a emmer wheat grass and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops Tauschii
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4248-4263	If a collection is an instance of collection and chromosome is a member type of the collection and an object is a member of the collection and the object is a part of durum wheat grass, then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a Triticum urartu and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops Speltoides
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4216-4231	If a collection is an instance of collection and chromosome is a member type of the collection and an object is a member of the collection and the object is a part of emmer wheat grass, then there exist another collection, a third collection,, , another kind of object and a third kind of object such that the other collection is a proper sub-collection of the collection and the other collection is an instance of homologous chromosome set and another kind of object is a member type of the other collection and every the other kind of object is initially part of a einkorn wheat grass and the third collection is a proper sub-collection of the collection and the third collection is an instance of homologous chromosome set and a third kind of object is a member type of the third collection and every the third kind of object is initially part of a Aegilops grass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	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 2914-2925	If a hotel reservation may &umberChildOccupant$"have" an integer children and an agent fulfills the hotel reservation, 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 agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24312-24318	If a collection is member type count a 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 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 1340-1340	Ahmadiyya sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 496-496	Aimak ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 1218-1218	Anglicanism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2604-2604	British virgin islands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order.	People.kif 1354-1354	Druze sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1240-1240	Eastern orthodox christianity is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 535-535	Hazara ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 555-555	Indochinese ethnicity is a proper sub-collection of asian ethnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 1254-1254	Protestantism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 1268-1268	Roman catholicism is a proper sub-collection of christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 595-595	Russian ethnicity is a proper sub-collection of slavic ethnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 1369-1369	Shiite sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1388-1388	Sunni sect is a proper sub-collection of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 631-631	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 2605-2605	US virgin islands is a proper sub-collection of virgin islands
No TPTP formula. May not be expressible in strict first order.	People.kif 638-638	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