Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| QualifiedTreatmentsFn |
| appearance as argument number 1 |
|
| (instance QualifiedTreatmentsFn UnaryFunction) | UXExperimentalTerms.kif 4226-4226 | Qualifed treatments is an instance of unary function |
| (domain QualifiedTreatmentsFn 1 Human) | UXExperimentalTerms.kif 4228-4228 | The number 1 argument of qualifed treatments is an instance of human |
| (range QualifiedTreatmentsFn Collection) | UXExperimentalTerms.kif 4230-4230 | The range of qualifed treatments is an instance of collection |
| (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 4232-4234 | The range of qualifed treatments is an instance of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage QualifiedTreatmentsFn "qualifed treatments") | UXExperimentalTerms.kif 4236-4236 | |
| (format EnglishLanguage QualifiedTreatmentsFn "all the processes %1 is qualified for") | domainEnglishFormat.kif 4304-4304 | |
| (format ChineseTraditionalLanguage QualifiedTreatmentsFn "所有流程 %1 是 qualified 對於") | domainEnglishFormat.kif 4305-4305 | |
| (format ChineseLanguage QualifiedTreatmentsFn "所有流程 %1 是 qualified 对于") | domainEnglishFormat.kif 4306-4306 |
| 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 4238-4264 | If X is an instance of human, Y is an instance of collection, For all Experimenting Z and Physical W: if there exists V such that Z is an instance of experimenting, W is an instance of process, W is a member of events in Z, W is an instance of V, and X is capable of doing V as a experiencer, then W is a member of Y, and if U is a member of Y, then U is an instance of process and there exist T, S such that T is an instance of experimenting, U is a member of events in T, U is an instance of S, and X is capable of doing S as a experiencer, then equal all the processes X is qualified for and Y |
|