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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 4433-4435
(domain QualifiedTreatmentsFn 1 Human) UXExperimentalTerms.kif 4429-4429
(instance QualifiedTreatmentsFn UnaryFunction) UXExperimentalTerms.kif 4427-4427
(range QualifiedTreatmentsFn Collection) UXExperimentalTerms.kif 4431-4431

appearance as argument number 2

(format EnglishLanguage QualifiedTreatmentsFn "all the processes %1 is qualified for") domainEnglishFormat.kif 1086-1086
(termFormat EnglishLanguage QualifiedTreatmentsFn "qualifed treatments") UXExperimentalTerms.kif 4437-4437


        (instance ?VISITOR Human)
        (instance ?COLL Collection)
        (forall (?EXPERIMENTING ?EVENT)
                    (instance ?EXPERIMENTING Experimenting)
                    (instance ?EVENT Process)
                    (member ?EVENT
                        (QualifyingEventsFn ?EXPERIMENT))
                    (capability ?EVENT experiencer ?VISITOR))
                (member ?EVENT ?COLL)))
            (member ?PROC ?COLL)
                (instance ?PROC Process)
                (exists (?EXP)
                        (instance ?EXP Experimenting)
                        (member ?PROC
                            (QualifyingEventsFn ?EXP))
                        (capability ?PROC experiencer ?VISITOR))))))
        (QualifiedTreatmentsFn ?VISITOR) ?COLL))
UXExperimentalTerms.kif 4439-4462

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners