TreeView Knowledge Base Browser - Above

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Above

Above

appearance as argument number 1

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.	chinese_format.kif 3817-3818
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17096-17099
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10350-10350
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10349-10349
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10351-10351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17094-17094	Above e' uma instancia de AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17093-17093	Above e' uma instancia de Atributo Posicional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5100-5100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5099-5099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5098-5098
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 533-533

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2533-2546	Processo e' uma instancia de Fogging eventLocated Processo and Regiao Regiao e' uma instancia de Area Geografica Objeto e' uma instancia de AtmosphericRegion Objeto e' Above em relacao a Regiao Objeto e' uma instancia de Aerosal locatedAtTime Objeto, tempo de existencia de Processo and Objeto visibilityInMeteorology Regiao, tempo de existencia de Processo and Numero Real Meter(s) Numero Real e' menos que 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2576	Processo e' uma instancia de AtmosphericHazing eventLocated Processo and Regiao Regiao e' uma instancia de Area Geografica Objeto e' uma instancia de AtmosphericRegion Objeto e' Above em relacao a Regiao locatedAtTime Objeto, tempo de existencia de Processo and Objeto visibilityInMeteorology Regiao, tempo de existencia de Processo and Numero Real Kilometer(s) Numero Real e' maior que 2.0 Numero Real e' menos que 5.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17101-17104	Objeto e' Above em relacao a Objeto Objeto e' conectado com Objeto

consequent

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.	Merge.kif 7736-7738	A altitude de Objeto e' Objeto Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9737-9742	O fundo 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' Above em relacao a Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	Objeto e' uma instancia de Eyebrow Healthy e' um atributo de Objeto Standing e' um atributo de Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto ObjetoYE ObjetoYE e' uma instancia de Eye ObjetoYE e' uma &parte de Objeto Objeto e' Above em relacao a ObjetoYE
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1488-1500	Objeto e' uma instancia de Forehead Healthy e' um atributo de Objeto Standing e' um atributo de Objeto vale durante Posicao Temporal Objeto e' uma &parte de Objeto ObjetoYE ObjetoYE e' uma instancia de Eye ObjetoYE e' uma &parte de Objeto Objeto e' Above em relacao a ObjetoYE
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5561-5570	Area Aquatica e' uma instancia de Waterfall WaterMotion e' uma instancia de WaterMotion flowCurrent WaterMotion and Area Aquatica WaterMotion tem como origem Objeto WaterMotion termina em Objeto Objeto e' uma instancia de Area Aquatica Objeto e' uma instancia de Area Aquatica Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9538-9543	Entidade e' uma instancia de PlantStem Entidade e' uma instancia de PlantRoot o argumento Entidade e' Above em relacao a Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4288-4297	Area terrestre e' uma instancia de Area terrestre groundSurfaceType Area terrestre and Substancia groundSubsurfaceType Area terrestre and Substancia Objeto Objeto Objeto e' uma instancia de Substancia Objeto e' uma instancia de Substancia Objeto e' Above em relacao a Objeto
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.	Mid-level-ontology.kif 30304-30311	Cloudy e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Cloud Entidade e' Above em relacao a Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15384-15391	Objeto e' uma instancia de Balcony Objeto Objeto Objeto encontra Objeto Objeto e' uma instancia de Area terrestre Objeto e' situado em Objeto Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2037-2046	Objeto e' uma instancia de Shower Objeto Objeto Objeto e' uma instancia de Wall Objeto e' uma instancia de Ceiling Objeto e' conectado com Objeto Objeto e' uma instancia de Floor Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3878-3886	Objeto e' uma instancia de BunkBed Objeto Objeto Objeto e' uma instancia de SingleBed Objeto e' uma instancia de SingleBed Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	Objeto Corpuscular e' uma instancia de Hammock Tecido e' feito de Objeto Corpuscular Objeto Objeto and Objeto Objeto e' Near em relacao a Objeto Objeto e' conectado com Objeto Corpuscular Objeto e' conectado com Objeto Corpuscular Objeto e' uma instancia de Area terrestre Objeto Corpuscular e' situado em Objeto Objeto Corpuscular e' Above em relacao a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19219-19230	Objeto e' Upstairs 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' Above em relacao a Objeto

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