| 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 | |
| (instance QualifiedTreatmentsFn UnaryFunction) | UXExperimentalTerms.kif 4229-4229 | |
| (range QualifiedTreatmentsFn Collection) | UXExperimentalTerms.kif 4233-4233 |
| 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