Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodyAreaFn

 Sigma KEE - BodyAreaFn
BodyAreaFn

appearance as argument number 1
-------------------------


(documentation BodyAreaFn EnglishLanguage "A Function that denotes the area near a given organ or structure of the body such as 'bicep area' or 'stomach area'.") Medicine.kif 6231-6232
(domainSubclass BodyAreaFn 1 BodyPart) Medicine.kif 6234-6234 BodyAreaFn 的 1 数量 是 身体部位 的 subclass
(instance BodyAreaFn UnaryFunction) Medicine.kif 6230-6230 BodyAreaFn 是 一元函数 的 instance
(rangeSubclass BodyAreaFn BodyPart) Medicine.kif 6235-6235 BodyAreaFn 的所得值 是 身体部位 的 subclass

antecedent
-------------------------


(=>
    (and
        (instance ?A
            (BodyAreaFn ?OC))
        (instance ?H Animal)
        (part ?A ?H))
    (exists (?O)
        (and
            (instance ?O ?OC)
            (orientation ?A ?O Near)
            (part ?O ?H))))		 Medicine.kif 6237-6246

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