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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QualifiedTreatmentsFn

Sigma KEE - QualifiedTreatmentsFn
QualifiedTreatmentsFn

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


(documentation QualifiedTreatmentsFn EnglishLanguage "(QualifiedTreatmentsFn ?VISITOR) returns all the Processes that ?VISITOR is has the capability of being the experiencer of which are qualifying events of Experimentings.") UXExperimentalTerms.kif 4441-4443
(domain QualifiedTreatmentsFn 1 Human) UXExperimentalTerms.kif 4437-4437
(instance QualifiedTreatmentsFn UnaryFunction) UXExperimentalTerms.kif 4435-4435
(range QualifiedTreatmentsFn Collection) UXExperimentalTerms.kif 4439-4439

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


(format ChineseLanguage QualifiedTreatmentsFn "所有流程 %1 是 qualified 对于") domainEnglishFormat.kif 4311-4311
(format ChineseTraditionalLanguage QualifiedTreatmentsFn "所有流程 %1 是 qualified 對於") domainEnglishFormat.kif 4310-4310
(format EnglishLanguage QualifiedTreatmentsFn "all the processes %1 is qualified for") domainEnglishFormat.kif 4309-4309
(termFormat EnglishLanguage QualifiedTreatmentsFn "qualifed treatments") UXExperimentalTerms.kif 4445-4445

consequent
-------------------------


(=>
    (and
        (instance ?VISITOR Human)
        (instance ?COLL Collection)
        (forall (?EXPERIMENTING ?EVENT)
            (=>
                (and
                    (instance ?EXPERIMENTING Experimenting)
                    (instance ?EVENT Process)
                    (member ?EVENT
                        (QualifyingEventsFn ?EXPERIMENT))
                    (capability ?EVENT experiencer ?VISITOR))
                (member ?EVENT ?COLL)))
        (=>
            (member ?PROC ?COLL)
            (and
                (instance ?PROC Process)
                (exists (?EXP)
                    (and
                        (instance ?EXP Experimenting)
                        (member ?PROC
                            (QualifyingEventsFn ?EXP))
                        (capability ?PROC experiencer ?VISITOR))))))
    (equal
        (QualifiedTreatmentsFn ?VISITOR) ?COLL))
UXExperimentalTerms.kif 4447-4470


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