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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasuringProcessFn

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 域子類 MeasuringProcessFn, 1 and Process
(instance MeasuringProcessFn UnaryFunction) Medicine.kif 6320-6320 MeasuringProcessFn and UnaryFunction
(rangeSubclass MeasuringProcessFn Measuring) Medicine.kif 6322-6322 範圍子類 MeasuringProcessFn and 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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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