TreeView Knowledge Base Browser - Perception

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Perception

Perception(Percepcao)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3308-3309
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13452-13453
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13451-13451	Percepcao e' uma sub-classe de Processo Psicologico

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13582-13582	Ouvir e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13521-13521	Visao e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13556-13556	Cheirar e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13631-13631	Percepcao Tactil e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13569-13569	Provar e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1216-1216
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1653-1653
No TPTP formula. May not be expressible in strict first order.	french_format.kif 894-894
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 427-427
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 430-430
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2578-2578
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 846-846
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 466-466
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 915-915
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 431-431

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13489-13489	O argumento numero 1 de SenseImpairmentFn e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13509-13509	O argumento numero 1 de SenseInabilityFn e' uma sub-classe de Percepcao

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13455-13459	Processo e' uma instancia de Percepcao Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17618-17625	Processo e' uma instancia de Percepcao Objeto e' um patient de Processo Atributo Atributo e' uma instancia de Atributo de Percepcao Atributo e' um atributo de Objeto

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	Processo e' uma instancia de ExperiencingALumpInTheThroat AutonomousAgent experimenta Processo Processo Objeto Processo e' uma instancia de Percepcao Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Throat Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	Processo e' uma instancia de ExperiencingDiscomfortInTheStomach AutonomousAgent experimenta Processo Processo ProcessoAIN and Objeto Processo e' uma instancia de Percepcao tempo de existencia de Processo acontece durante tempo de existencia de ProcessoAIN ProcessoAIN e' uma instancia de Pain AutonomousAgent experimenta ProcessoAIN Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Stomach Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	Processo e' uma instancia de ExperiencingHeatInCheeksOrChest AutonomousAgent experimenta Processo Processo Objeto Processo e' uma instancia de Percepcao Processo e' um sub-processo de Processo Processo e' um agente de AutonomousAgent Objeto e' um patient de Processo Objeto e' uma instancia de Torso Objeto e' uma instancia de Face Objeto e' uma &parte de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	Processo e' uma instancia de Gaslighting Processo e' um agente de AutonomousAgent suffers Processo and AutonomousAgent Processo Processo e' uma instancia de Percepcao AutonomousAgent experimenta Processo causesProposition suffers Processo and AutonomousAgent and AutonomousAgent nao sabe %n Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6429-6439	Processo e' uma instancia de Hallucination AutonomousAgent experimenta Processo AutonomousAgentER AutonomousAgentROP AutonomousAgentER e' uma instancia de Percepcao AutonomousAgent experimenta AutonomousAgentER Processo causa AutonomousAgentER AutonomousAgentER contem informacao AutonomousAgentROP truth AutonomousAgentROP and False
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2060-2070	Processo e' uma instancia de HeartPalpitations AutonomousAgent experimenta Processo AutonomousAgentEART e' uma instancia de Heart AutonomousAgentEART e' uma &parte de AutonomousAgent ProcessoER ProcessoER e' uma instancia de Percepcao AutonomousAgent experimenta ProcessoER AutonomousAgentEART e' um patient de ProcessoER
No TPTP formula. May not be expressible in strict first order.	emotion.kif 865-877	InterpersonalDisgust e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade Entidade e' uma instancia de Percepcao Entidade e' um patient de Entidade Entidade experimenta Entidade Entidade e' uma instancia de Humano tempo de existencia de Entidade acontece durante Posicao Temporal causa InterpersonalDisgust e' um atributo de Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 852-863	InterpersonalDisgust e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Entidade Processo e' uma instancia de Percepcao Entidade e' um patient de Processo AutonomousAgent experimenta Processo Entidade e' uma instancia de Humano Entidade e' igual a AutonomousAgent tempo de existencia de Processo acontece durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	emotion.kif 793-803	SensoryPleasure e' um atributo de Entidade vale durante Intervalo Temporal Fisico Fisico e' uma instancia de Percepcao Intervalo Temporal acontece durante tempo de existencia de Fisico causesProposition Entidade experimenta Fisico and SensoryPleasure e' um atributo de Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13461-13463	Objeto e' uma instancia de Agente Sentiente Objeto e' capaz de fazer Percepcao no role experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15844-15852	Fisico e' uma instancia de Objeto de Arte Fisico tem por fim Entidade Entidade Entidade e' uma instancia de Humano Entidade e' uma instancia de Percepcao Entidade experimenta Entidade Fisico e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15854-15865	Fisico e' uma instancia de Objeto de Arte Fisico tem por fim Entidade Entidade e' uma instancia de Humano Entidade deseja Entidade Entidade e' uma instancia de Percepcao Entidade experimenta Entidade Fisico e' um patient de Entidade

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