QualifyingEventsFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - QualifyingEventsFn

QualifyingEventsFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4204-4206
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4198-4198	The number 1 argument of Qualifying Factor or Event is an instance of experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4196-4196	Qualifying Factor or Event is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4200-4200	The range of Qualifying Factor or Event is an instance of collection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4306-4306
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4305-4305
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4304-4304
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4202-4202

antecedent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 4241-4267

If a human is an instance of human and a collection is an instance of collection and for all an experimenting and a physical
- if there exists a kind of process such that the experimenting is an instance of experimenting and the physical is an instance of process and the physical is a member of events in the experimenting and the physical is an instance of a kind of process and the human is capable of doing the kind of process as a experiencer,
- then the physical is a member of the collection
and
- if another physical is a member of the collection,
- then the other physical is an instance of process and there exist another experimenting and the other physicalESS such that the other experimenting is an instance of experimenting and the other physical is a member of events in the other experimenting and the other physical is an instance of the other physicalESS and the human is capable of doing the other physicalESS as a experiencer
,
then all the processes the human is qualified for is equal to the collection

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4208-4223	If an experimenting is an instance of experimenting, then there exists an entity_EVENTS such that the entity_EVENTS is an instance of collection and for all a process if the process is an instance of process and the control in experiment the experimenting is the process or the process is a process in the experimenting, then the process is a member of the entity_EVENTS and events in the experimenting is equal to the entity_EVENTS
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4125-4136	If a web page is the object of study of an experimenting, then there exist an agent, another agent and a process such that the agent is a member of events in the experimenting and if the other agent is an instance of human and the process is an instance of accessing web page and the other agent is an agent of the process and the process ends up at the web page, then the agent experiences the other agent
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

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