Discovering - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Discovering

Discovering

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3112-3113
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11981-11984
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11980-11980	Discovering e' uma sub-classe de Processo Psicologico Intencional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 572-572	Locating e' uma sub-classe de Discovering
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19788-19788
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19787-19787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19786-19786

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11995-12004	Processo e' uma instancia de Discovering Entidade e' um patient de Processo Entidade e' situado em Entidade vale durante tempo de existencia de Processo Processo Processo e' uma instancia de Aprender Processo e' um sub-processo de Processo Entidade e' situado em Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11986-11993	Processo e' uma instancia de Discovering Entidade e' um patient de Processo Fisico Fisico e' uma instancia de Perseguir tempo de existencia de Fisico encontra tempo de existencia de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 558-570	Processo e' uma instancia de RecoveryOperation Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' um patient de Entidade Entidade e' uma instancia de a uniao de Classificar e a uniao de Perseguir e a uniao de Discovering e a uniao de Locating e Returning
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21146-21176	Proposicao e' uma instancia de Argument Processo e' uma instancia de Raciocinar Proposicao e' uma instancia de Archeology Proposicao e' uma &sub-proposicao de Proposicao Processo exprime o conteudo de Proposicao Processo Entidade, Fisico, Numero Real, Entidade and Entidade Processo e' uma instancia de Discovering Fisico e' uma instancia de Objeto Fisico e' um patient de Processo Processo inclui uma referencia a Processo tempo de existencia de Processo acontence antes de tempo de existencia de Processo a idade de Fisico e' Numero Real YearDuration(s) Numero Real e' maior que 50 Entidade e' uma superficie de Entidade Entidade e' uma instancia de BodyOfWater Fisico e' Below em relacao a Entidade Entidade e' uma superficie de Entidade Entidade e' uma instancia de Area terrestre Fisico e' Below em relacao a Entidade vale durante imediatemente antes de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2604-2610	discovers AutonomousAgent and Objeto Processo Processo e' uma instancia de Discovering Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17322-17344	Processo e' uma instancia de Disappearing Entidade AutonomousAgent, Processo and Posicao Temporal Processo e' uma instancia de Searching tempo de existencia de Processo acontence antes de tempo de existencia de Processo Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Objeto Entidade e' um patient de Processo Entidade e' um patient de Processo Posicao Temporal e' uma instancia de Intervalo Temporal Posicao Temporal e' uma &parte de tempo de existencia de Processo o argumento ProcessoISC ProcessoISC e' uma instancia de Discovering ProcessoISC e' um agente de AutonomousAgent Entidade e' um patient de ProcessoISC nao %n a forca modal de Possibility vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25423-25431	Fisico e' uma instancia de SmokeDetector Fisico tem por fim FisicoISCOVER Entidade FisicoISCOVER e' uma instancia de Discovering Fisico e' um instrumento para FisicoISCOVER Entidade e' um patient de FisicoISCOVER Entidade e' uma instancia de Smoke
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2586-2592	Fisico e' uma instancia de Radar Fisico tem por fim Entidade Entidade e' uma instancia de Discovering Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2618-2624	Fisico e' uma instancia de Sonar Fisico tem por fim Entidade Entidade e' uma instancia de Discovering Fisico e' um instrumento para Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25465-25475	Objeto e' uma instancia de FireSprinklerSystem Entidade Processo and Processo Processo e' uma instancia de Discovering Entidade e' uma instancia de Fire Objeto e' um instrumento para Processo Entidade e' um patient de Processo Processo e' uma instancia de WaterMotion Processo tem como origem Objeto Processo causa Processo

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