TreeView Knowledge Base Browser - Standing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Standing

Standing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4008-4009
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18082-18083
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18081-18081	Standing e' uma instancia de BodyPosition

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1782-1782	StandardAnatomicalPosition e' um sub-atributo de Standing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55014-55014
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55013-55013
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55012-55012

antecedent

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

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18085-18089	Processo e' uma instancia de Ambulating Processo e' um agente de AutonomousAgent Standing e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 548-555	Processo e' uma instancia de Jumping Processo e' um agente de AutonomousAgent Standing e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19909-19919	Processo e' uma instancia de SittingDown Processo e' um agente de AutonomousAgent Standing e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Sitting e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19926-19936	Processo e' uma instancia de StandingUp Processo e' um agente de AutonomousAgent Sitting e' um atributo de AutonomousAgent vale durante o comeco de tempo de existencia de Processo Standing e' um atributo de AutonomousAgent vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16410-16426	Dizzy e' um atributo de Entidade vale durante Posicao Temporal Entidade acredita que Posicao Temporal2 Posicao Temporal2 acontece durante Posicao Temporal Standing e' um atributo de Entidade vale durante Posicao Temporal2 Entidade Entidade e' uma instancia de Falling Entidade experimenta Entidade Posicao Temporal2 encontra tempo de existencia de Entidade vale durante Posicao Temporal

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