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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 The number 1 argument of measuring a process is a subclass of process
(instance MeasuringProcessFn UnaryFunction) Medicine.kif 6320-6320 Measuring a process is an instance of unary function
(rangeSubclass MeasuringProcessFn Measuring) Medicine.kif 6322-6322 The values returned by measuring a process are subclasses of measuring

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


    (instance ?M
        (MeasuringProcessFn ?PC))
    (exists (?P)
            (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