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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QualifiedTreatmentsFn
QualifiedTreatmentsFn

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


(documentation QualifiedTreatmentsFn EnglishLanguage "(QualifiedTreatmentsFn ?VISITOR) returns all the Processes that ?VISITOR has the capability of being the experiencer of which are qualifying events of Experimentings.") UXExperimentalTerms.kif 4235-4237
(domain QualifiedTreatmentsFn 1 Human) UXExperimentalTerms.kif 4231-4231 Le nombre 1 argument de QualifiedTreatmentsFn est une instance de humain
(instance QualifiedTreatmentsFn UnaryFunction) UXExperimentalTerms.kif 4229-4229 QualifiedTreatmentsFn est une instance de function unaire
(range QualifiedTreatmentsFn Collection) UXExperimentalTerms.kif 4233-4233 Le domaine de QualifiedTreatmentsFn est une instance de collection

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


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

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


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


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