treatedUser - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - treatedUser

treatedUser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3993-3994
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3989-3989	The number 1 argument of treated user is an instance of human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3991-3991	The number 2 argument of treated user is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3996-3996	treated user is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4818-4818
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4817-4817
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4816-4816
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65960-65960

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3998-4003	If a human is a treated used in an experimenting, then there exists an agent such that the agent is a member of events in the experimenting and the agent experiences the human
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4005-4007	If a human is a treated used in another human, then the other human is a subject in the human

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	If an experimenting causes a process, then there exist another process and a human such that the other process is an instance of process and the human is an instance of agent and the human is a treated used in the experimenting and the other process is a process in the experimenting and the human experiences the process and the human experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4281-4293	If an experimenting is an instance of experimenting, then there exists an entity_USERS such that the entity_USERS is an instance of collection and for all a human if the human is an instance of human and the human is a treated used in the experimenting, then the human is a member of the entity_USERS and the treated users in the experimenting is equal to the entity_USERS

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