TreeView Knowledge Base Browser - RightArm

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RightArm

RightArm

appearance as argument number 1

(subclass RightArm
(BodySideFn Right Arm))

Medicine.kif 2861-2861

RightArm e' uma sub-classe de BodySideFn Right and Arm

appearance as argument number 2

(termFormat EnglishLanguage RightArm "right arm")

Medicine.kif 2862-2862

antecedent

(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?LA ?O) (meetsSpatially ?LL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?RA ?O)) (not (meetsSpatially ?RL ?O)))))	Anatomy.kif 1838-1860	LateralRecumbant e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de LeftArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de LeftLeg Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightLeg Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto Objeto nao encontra %n Objeto vale durante Posicao Temporal
(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?RA ?O) (meetsSpatially ?RL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?LA ?O)) (not (meetsSpatially ?LL ?O)))))	Anatomy.kif 1862-1884	LateralRecumbant e' um atributo de Objeto Objeto e' On em relacao a Objeto vale durante Posicao Temporal Objeto e' uma instancia de LeftArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightArm Objeto e' uma &parte de Objeto Objeto e' uma instancia de LeftLeg Objeto e' uma &parte de Objeto Objeto e' uma instancia de RightLeg Objeto e' uma &parte de Objeto Objeto encontra Objeto Objeto encontra Objeto Objeto nao encontra %n Objeto Objeto nao encontra %n Objeto 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