TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4494-4496
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4492-4492	BodyOfWater e' uma sub-classe de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4491-4491	BodyOfWater e' uma sub-classe de Area Aquatica

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4540-4540	NorthAtlanticOcean e' uma instancia de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4572-4572	NorthPacificOcean e' uma instancia de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4586-4586	NortheasternPacificOcean e' uma instancia de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4599-4599	NorthwesternPacificOcean e' uma instancia de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4553-4553	SouthAtlanticOcean e' uma instancia de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4612-4612	SouthPacificOcean e' uma instancia de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4499-4499	WorldOcean e' uma instancia de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5316-5316	Channel e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5672-5672	Creek e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5179-5179	Estuary e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5122-5122	Gulf e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5218-5218	Inlet e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5078-5078	LandlockedWater e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4513-4513	Ocean e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5474-5474	River e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4758-4758	Sea e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5278-5278	Sound e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5292-5292	Strait e' uma sub-classe de BodyOfWater
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11483-11483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11482-11482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11481-11481

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5330-5335	Objeto e' uma instancia de Channel Objeto e' uma instancia de BodyOfWater Objeto e' conectado com Objeto Objeto e' maior do que Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5661-5670	River e' uma instancia de River Objeto e' uma instancia de BodyOfWater flows River and Objeto Area Aquatica Area Aquatica e' uma instancia de RiverMouth streamOutfall Area Aquatica and River Area Aquatica e' conectado com Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4523-4528	Objeto e' uma instancia de BodyOfWater Objeto e' uma instancia de Ocean Objeto e' uma instancia de Ocean Objeto e' maior do que Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5305-5310	Objeto e' uma instancia de BodyOfWater Objeto e' uma instancia de BodyOfWater Objeto conecta Objeto e Objeto Objeto e' maior do que Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1928-1937	Entidade e' uma instancia de Carne Carne e' uma sub-classe de Seafood Organismo EntidadeEA and Animal meatOfAnimal Carne and Animal Organismo e' uma instancia de Animal EntidadeEA e' uma instancia de BodyOfWater Organismo vive em EntidadeEA
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21147-21177	Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4742-4749	Objeto e' uma instancia de Iceberg Objeto Objeto Objeto e' uma instancia de Ice most Objeto and Objeto Objeto e' uma instancia de BodyOfWater covers Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1353-1373	Processo e' uma instancia de BreakingWave Processo Objeto, Entidade and Transferencia Processo e' uma instancia de WaterWave Processo e' um sub-processo de Processo Objeto e' uma instancia de BodyOfWater Entidade e' uma instancia de BodyOfWater Entidade e' um patient de Processo Objeto e' um patient de Processo Transferencia e' uma instancia de Falling objectTransferred Transferencia and Objeto Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Transferencia Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Transferencia
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5920-5927	Objeto e' uma instancia de Shoal Objeto Objeto Objeto e' uma instancia de LandForm most Objeto and Objeto Objeto e' uma instancia de BodyOfWater covers Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5415-5421	Fisico e' uma instancia de Area aquatica em movimento Fisico Fisico e' uma instancia de BodyOfWater Fisico e' igual a Fisico flows Fisico and Fisico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5348-5356	Area Geografica e' uma instancia de InlandWaterSystem Area Geografica Area Geografica Area Geografica e' uma instancia de BodyOfWater Area Geografica e' uma instancia de BodyOfWater Area Geografica e' igual a Area Geografica geographicSubregion Area Geografica and Area Geografica geographicSubregion Area Geografica and Area Geografica
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5297-5303	Objeto e' uma instancia de Strait Objeto Objeto Objeto e' uma instancia de BodyOfWater Objeto e' uma instancia de BodyOfWater Objeto conecta Objeto e Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1420-1440	waveHeight WaterWave and Medida de Comprimento Objeto Objeto, Objeto and Unidade de Medida Objeto e' uma instancia de BodyOfWater eventLocated WaterWave and Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto a distancia entre Objeto e Objeto e' Medida de Comprimento Objeto ObjetoH Objeto e' uma &parte de Objeto a altitude de Objeto e' Objeto ObjetoH e' maior que 0.0 Objeto ObjetoH Objeto e' uma &parte de Objeto a altitude de Objeto e' Objeto ObjetoH e' maior que 0.0

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

KB Term:			Term intersection

English Word: