TreeView Knowledge Base Browser - subCollection

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 1293-1294
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 1290-1290	Le nombre 1 argument de subCollection est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1291-1291	Le nombre 2 argument de subCollection est une instance de collection
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1288-1288	subCollection est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1289-1289	subCollection est une instance de relation partiellement dirig�e

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 16741-16741	subOrganization est une sous-relation de subCollection
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 55710-55710
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55709-55709
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55708-55708
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 74-74

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1297-1302	Collection est une sous-collection appartenant � collection physique physique est un membre de collection physique est un membre de collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 829-836	chromosomeSetCount MonoploidChromosomeSet, collection and nombre entier MonoploidChromosomeSet est une sous-collection appartenant � collection nombre entier est instances dans la classe d�crite par nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 974-984	Objet est une instance de PentaploidCell objet est une instance de CellNucleus objet est une partie de objet collection est situ� � objet collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 5
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 921-931	Objet est une instance de TriploidCell objet est une instance de CellNucleus objet est une partie de objet collection est situ� � objet collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 3
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 939-949	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 4 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de TetraploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 992-1002	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 6 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de HexaploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 896-905	Collection est une instance de collection memberType collection and Chromosome MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 2 collection est situ� � objet objet est une instance de CellNucleus objet est une partie de objet objet est une instance de DiploidCell
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 866-875	Collection est une instance de HomologousChromosomeSet memberType collection and Chromosome collection est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell MonoploidChromosomeSet est une instance de MonoploidChromosomeSet MonoploidChromosomeSet est une sous-collection appartenant � collection chromosomeSetCount MonoploidChromosomeSet, collection and 2
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 877-888	Collection est une instance de HomologousChromosomeSet memberType collection and Chromosome collection est situ� � objet objet est une instance de CellNucleus objet est une partie de EukaryoticCell MonoploidChromosomeSet est une sous-collection appartenant � collection MonoploidChromosomeSet est une sous-collection appartenant � collection MonoploidChromosomeSet est MonoploidChromosomeSet homologousChromosomePair MonoploidChromosomeSet and MonoploidChromosomeSet
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 163-183	Processus est une instance de UnconventionalWarfare processus est un agent de gouvernement gouvernement est AutonomousAgent gouvernement est gouvernment de secteur g�opolitique AutonomousAgent est un patient de processus AutonomousAgent est un membre de ResidentFn secteur g�opolitique AutonomousAgent est une sous-collection appartenant � ResidentFn secteur g�opolitique processus processus est une instance de affrontement processus est un agent de AutonomousAgent processus est un agent de le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3668-3704	Collection est une instance de collection collection est une instance de collection collection est une sous-collection appartenant � collection physique physique est un membre de collection physique est une instance de AccessingWebPage processus AutonomousAgent, processus, processus and objet AutonomousAgent est une instance de humain processus est une instance de acheter processus est une instance de AccessingWebPage objet est une instance de WebPage processus est un membre de collection processus aboutit � objet processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent temps d'existence de processus prend place pendant temps d'existence de processus objet est un instrument pour processus processus est un membre de collection interval temporel entit�_IN_INTERVAL and entit�_IN_INTERVAL SCRFn collection and interval temporel est instances dans la classe d�crite par entit�_IN_INTERVAL + le nombre d' instances dans la classe d�crite par entit�_IN_INTERVAL

consequent

No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 829-836	chromosomeSetCount MonoploidChromosomeSet, collection and nombre entier MonoploidChromosomeSet est une sous-collection appartenant � collection nombre entier est instances dans la classe d�crite par nombre entier
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 1004-1023	Objet est une instance de HexaploidCell objet est une partie de objet objet est une instance de CellNucleus collection est situ� � objet collection est une instance de collection memberType collection and Chromosome collection collection and collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est collection
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 951-966	Objet est une instance de TetraploidCell objet est une partie de objet objet est une instance de CellNucleus collection est situ� � objet collection est une instance de collection memberType collection and Chromosome collection collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet collection est une sous-collection appartenant � collection collection est collection
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de CommonWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and EmmerWheatGrass collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsTauschii
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de DurumWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and TriticumUrartu collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsSpeltoides
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	Collection est une instance de collection memberType collection and Chromosome objet est un membre de collection objet est une partie de EmmerWheatGrass collection collection, objet and objet collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and EinkornWheatGrass collection est une sous-collection appartenant � collection collection est une instance de HomologousChromosomeSet memberType collection and objet initialPart objet and AegilopsGrass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 483-489	Entit�_COLL est une instance de collection entit�_COLL est une instance de collection Experimenting est une instance de Experimenting statisticalPopulation entit�_COLL, entit�_COLL and Experimenting entit�_COLL est une sous-collection appartenant � entit�_COLL
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2903-2914	numberChildOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation collection collection collection est une instance de GroupOfPeople collection est une sous-collection appartenant � collection collection est une instance de GroupOfPeople memberType collection and HumanChild memberCount collection and nombre entier potentialCustomer collection and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22671-22677	memberTypeCount collection, classe and nombre entier non n�gatif collection collection est une sous-collection appartenant � collection memberCount collection and nombre entier non n�gatif memberType collection and classe

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	People.kif 1339-1339	AhmadiyyaSect est une sous-collection appartenant � Islam
No TPTP formula. May not be expressible in strict first order.	People.kif 496-496	AimakEthnicity est une sous-collection appartenant � AsianEthnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 1217-1217	Anglicanism est une sous-collection appartenant � Christianity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2602-2602	BritishVirginIslands est une sous-collection appartenant � VirginIslands
No TPTP formula. May not be expressible in strict first order.	People.kif 1353-1353	DruzeSect est une sous-collection appartenant � Islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1239-1239	EasternOrthodoxChristianity est une sous-collection appartenant � Christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 535-535	HazaraEthnicity est une sous-collection appartenant � AsianEthnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 555-555	IndochineseEthnicity est une sous-collection appartenant � AsianEthnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 1253-1253	Protestantism est une sous-collection appartenant � Christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 1267-1267	RomanCatholicism est une sous-collection appartenant � Christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 595-595	RussianEthnicity est une sous-collection appartenant � SlavicEthnicity
No TPTP formula. May not be expressible in strict first order.	People.kif 1368-1368	ShiiteSect est une sous-collection appartenant � Islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1387-1387	SunniSect est une sous-collection appartenant � Islam
No TPTP formula. May not be expressible in strict first order.	People.kif 631-631	TurkmenEthnicity est une sous-collection appartenant � CentralAsianTurkishEthnicity
No TPTP formula. May not be expressible in strict first order.	Media.kif 2603-2603	USVirginIslands est une sous-collection appartenant � VirginIslands
No TPTP formula. May not be expressible in strict first order.	People.kif 638-638	UzbekEthnicity est une sous-collection appartenant � CentralAsianTurkishEthnicity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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