TreeView Knowledge Base Browser - QualifyingEventsFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

QualifyingEventsFn

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	O argumento numero 1 de QualifyingEventsFn e' uma instancia de Experimenting
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4196-4196	QualifyingEventsFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4200-4200	O contra-dominio de QualifyingEventsFn e' uma instancia de Colecao

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

Humano e' uma instancia de Humano Colecao e' uma instancia de Colecao Experimenting Fisico
- Processo Experimenting e' uma instancia de Experimenting Fisico e' uma instancia de Processo Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de Processo Humano e' capaz de fazer Processo no role experiencer
- Fisico e' membro de Colecao
- Fisico e' membro de Colecao
- Fisico e' uma instancia de Processo Experimenting FisicoESS Experimenting e' uma instancia de Experimenting Fisico e' membro de QualifyingEventsFn Experimenting Fisico e' uma instancia de FisicoESS Humano e' capaz de fazer FisicoESS no role experiencer
QualifiedTreatmentsFn Humano e' igual a Colecao

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4208-4223	Experimenting e' uma instancia de Experimenting Entidade_EVENTS Entidade_EVENTS e' uma instancia de Colecao Processo Processo e' uma instancia de Processo experimentalControlProcess Experimenting and Processo experimentalVariableProcess Experimenting and Processo Processo e' membro de Entidade_EVENTS QualifyingEventsFn Experimenting e' igual a Entidade_EVENTS
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4125-4136	treatedPage WebPage and Experimenting AutonomousAgent AutonomousAgent and Processo AutonomousAgent e' membro de QualifyingEventsFn Experimenting AutonomousAgent e' uma instancia de Humano Processo e' uma instancia de AccessingWebPage Processo e' um agente de AutonomousAgent Processo termina em WebPage AutonomousAgent experimenta AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3998-4003	treatedUser Humano and Experimenting AutonomousAgent AutonomousAgent e' membro de QualifyingEventsFn Experimenting AutonomousAgent experimenta Humano

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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