TreeView Knowledge Base Browser - 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	Die Zahl 1 Argument von MeasuringProcessFn ist eine teilkategorie von Process %n{nicht}
(instance MeasuringProcessFn UnaryFunction)	Medicine.kif 6320-6320	MeasuringProcessFn ist ein fall von UnaryFunction %n{nicht}
(rangeSubclass MeasuringProcessFn Measuring)	Medicine.kif 6322-6322	Die werte die MeasuringProcessFn zurueckgibt sind teilkategorien von 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

Wenn Process ist ein fall von MeasuringProcessFn ** ** Process %n{nicht},
dann es gibt Entity um ** Entity ist ein fall von ** ** Process %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht}