Perception - Sigma Knowledge base Browser

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 13498-13499
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13497-13497	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 13628-13628	Ouvir e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13567-13567	Visao e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13602-13602	Cheirar e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13677-13677	Percepcao Tactil e' uma sub-classe de Percepcao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13615-13615	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 13535-13535	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 13555-13555	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 13501-13505	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 17697-17704	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 6423-6433	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 13507-13509	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 15890-15898	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 15900-15911	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 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