Below - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Below

Below

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3819-3821
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17108-17111
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10513-10513
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10511-10511
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10514-10514
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10508-10508
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10515-10515
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9906-9906
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10510-10510
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10512-10512
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10509-10509
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17107-17107	Below e' uma instancia de AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17106-17106	Below e' uma instancia de Atributo Posicional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17095-17095	Above e' &o oposto de Below
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10703-10703
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10702-10702
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10701-10701
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 534-534

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17113-17117	Objeto e' Below em relacao a Objeto Objeto e' On em relacao a Objeto Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3999-4010	Objeto e' uma instancia de UndergroundArea Unidade de Medida e' uma instancia de UnitOfLength earthAltitude Objeto and Numero Real Unidade de Medida(s) Objeto auto-conectado e' uma superficie de PlanetEarth Objeto e' uma &parte de Objeto auto-conectado Objeto e' Below em relacao a Objeto earthAltitude Objeto and Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12929-12940	Objeto e' uma instancia de Chin Objeto e' uma instancia de Face Objeto e' uma &parte de Objeto Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' Below em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11609-11614	Processo e' uma instancia de Falling Processo tem como origem Objeto Processo termina em Objeto Objeto e' Below em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	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.	Merge.kif 9752-9757	O topo de Objeto auto-conectado e' Objeto auto-conectado Objeto e' uma &parte de Objeto auto-conectado Objeto e' conectado com Objeto auto-conectado Objeto e' Below em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1157-1165	LoftStyle e' um atributo de Objeto auto-conectado Objeto auto-conectado Objeto and Objeto auto-conectado o fundo de Objeto auto-conectado e' Objeto auto-conectado o topo de Objeto auto-conectado e' Objeto auto-conectado Objeto e' uma instancia de Artefato Estacionario Objeto e' Above em relacao a Objeto auto-conectado Objeto e' Below em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7758-7760	depth Objeto, Objeto and Medida de Comprimento Objeto e' Below em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15410-15419	Objeto e' uma instancia de Basement Objeto Objeto Objeto e' uma instancia de BuildingLevel Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' igual a Objeto Objeto e' Below em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6072-6079	Objeto e' uma instancia de SubmergedLandArea Objeto Objeto e' uma instancia de Area Aquatica Objeto e' Below em relacao a Objeto Objeto e' On em relacao a Objeto Objeto encontra Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17677-17682	Objeto e' uma instancia de UnderwaterRegion Objeto Objeto e' uma instancia de Area Aquatica Objeto e' Below em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26890-26899	Objeto e' uma instancia de ScubaDiving Objeto Objeto and Processo Objeto e' uma instancia de Area Aquatica Objeto e' Below em relacao a Objeto Objeto e' uma instancia de Aparelho Processo e' uma instancia de Respirar Objeto e' um instrumento para Processo Processo e' um sub-processo de Objeto
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 328-333	Objeto e' uma instancia de SubwaySystem Objeto auto-conectado Objeto auto-conectado e' uma superficie de Area Geografica Objeto e' Below em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3991-3997	Objeto e' uma instancia de UndergroundArea Objeto Objeto auto-conectado Objeto auto-conectado e' uma superficie de PlanetEarth Objeto e' uma &parte de Objeto auto-conectado Objeto e' Below em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19236-19247	Objeto e' Downstairs em relacao a Objeto Objeto Objeto and Objeto Objeto e' uma instancia de BuildingLevel Objeto e' uma instancia de BuildingLevel Objeto e' uma instancia de Predio Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' situado em Objeto Objeto e' situado em Objeto Objeto e' Below em relacao a Objeto

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