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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeasuringProcessFn
MeasuringProcessFn

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


(documentation MeasuringProcessFn EnglishLanguage "Measuring a particular kind of Process.") Medicine.kif 6323-6323
(domainSubclass MeasuringProcessFn 1 Process) Medicine.kif 6321-6321
(instance MeasuringProcessFn UnaryFunction) Medicine.kif 6320-6320
(rangeSubclass MeasuringProcessFn Measuring) Medicine.kif 6322-6322

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


(format EnglishLanguage MeasuringProcessFn "measuring a %1") Medicine.kif 6325-6325
(termFormat EnglishLanguage MeasuringProcessFn "measuring a process") Medicine.kif 6324-6324

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


(=>
    (instance ?M
        (MeasuringProcessFn ?PC))
    (exists (?P)
        (and
            (instance ?P ?PC)
            (patient ?M ?P))))
Medicine.kif 6327-6332


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