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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EdemaFn

 Sigma KEE - EdemaFn
EdemaFn

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


(documentation EdemaFn EnglishLanguage "A Function that returns the class of Edema cases in the given BodyPart.") Mid-level-ontology.kif 9983-9984
(domainSubclass EdemaFn 1 BodyPart) Mid-level-ontology.kif 9979-9979 Le nombre 1 argument de EdemaFn est une sous-classe de partie du corps
(instance EdemaFn UnaryFunction) Mid-level-ontology.kif 9978-9978 EdemaFn est une instance de function unaire
(rangeSubclass EdemaFn Edema) Mid-level-ontology.kif 9980-9980 Les valeurs retourn�es par EdemaFn sont des sous-classes de Edema

appearance as argument number 2
-------------------------


(format EnglishLanguage EdemaFn "edema in %1") Mid-level-ontology.kif 9982-9982
(termFormat EnglishLanguage EdemaFn "edema") Mid-level-ontology.kif 9981-9981

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


(=>
    (and
        (instance ?E
            (EdemaFn ?P))
        (experiencer ?E ?A))
    (exists (?PI)
        (and
            (instance ?PI BodyPart)
            (part ?PI ?A)
            (located ?E ?PI))))		 Mid-level-ontology.kif 9986-9994

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