LeftArm - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - LeftArm

LeftArm

appearance as argument number 1

(documentation LeftArm EnglishLanguage "The Left Arm of an Animal.")	Medicine.kif 2857-2857
(subclass LeftArm (BodySideFn Left Arm))	Medicine.kif 2858-2858	LeftArm ist eine teilkategorie von BodySideFn Left and Arm

appearance as argument number 2

(termFormat EnglishLanguage LeftArm "left arm")

Medicine.kif 2859-2859

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	Wenn LateralRecumbant ist ein attribut von Object %n{nicht} und Object ist On hinsichlich Object %n{nicht} haelt waehrend TimePosition %n{nicht} und Object ist ein fall von LeftArm %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von RightArm %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von LeftLeg %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von RightLeg %n{nicht} und Object ist ein teil von Object %n{nicht} und Object schliesst Object raeumlich an oder Object schliesst Object raeumlich an, dann Object schliesst Object raeumlich nicht an und Object schliesst Object raeumlich nicht an haelt waehrend ** TimePosition %n{nicht}
(=> (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	Wenn LateralRecumbant ist ein attribut von Object %n{nicht} und Object ist On hinsichlich Object %n{nicht} haelt waehrend TimePosition %n{nicht} und Object ist ein fall von LeftArm %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von RightArm %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von LeftLeg %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein fall von RightLeg %n{nicht} und Object ist ein teil von Object %n{nicht} und Object schliesst Object raeumlich an oder Object schliesst Object raeumlich an, dann Object schliesst Object raeumlich nicht an und Object schliesst Object raeumlich nicht an haelt waehrend ** TimePosition %n{nicht}

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