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(perception)

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 13474-13475
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13473-13473	Perception est une sous-classe de processus psychologique

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13604-13604	Entendre est une sous-classe de perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13543-13543	Voir est une sous-classe de perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13578-13578	Sentir est une sous-classe de perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13653-13653	Perception tactile est une sous-classe de perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13591-13591	Go�ter est une sous-classe de perception
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 13511-13511	Le nombre 1 argument de SenseImpairmentFn est une sous-classe de perception
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13531-13531	Le nombre 1 argument de SenseInabilityFn est une sous-classe de perception

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13477-13481	Processus est une instance de perception processus est un agent de AutonomousAgent AutonomousAgent est une instance de animal
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17640-17647	Processus est une instance de perception objet est un patient de processus attribut attribut est une instance de attribute de perception attribut est un attribut de objet

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	Processus est une instance de ExperiencingALumpInTheThroat AutonomousAgent exp�rimente processus processus objet processus est une instance de perception processus est un sous-processus de processus processus est un agent de AutonomousAgent objet est un patient de processus objet est une instance de Throat objet est une partie de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	Processus est une instance de ExperiencingDiscomfortInTheStomach AutonomousAgent exp�rimente processus processus processusAIN and objet processus est une instance de perception temps d'existence de processus prend place pendant temps d'existence de processusAIN processusAIN est une instance de Pain AutonomousAgent exp�rimente processusAIN processus est un sous-processus de processus processus est un agent de AutonomousAgent objet est un patient de processus objet est une instance de Stomach objet est une partie de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	Processus est une instance de ExperiencingHeatInCheeksOrChest AutonomousAgent exp�rimente processus processus objet processus est une instance de perception processus est un sous-processus de processus processus est un agent de AutonomousAgent objet est un patient de processus objet est une instance de Torso objet est une instance de Face objet est une partie de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	Processus est une instance de Gaslighting processus est un agent de AutonomousAgent suffers processus and AutonomousAgent processus processus est une instance de perception AutonomousAgent exp�rimente processus causesProposition suffers processus and AutonomousAgent and AutonomousAgent ne conna�t %n{pas} entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6428-6438	Processus est une instance de Hallucination AutonomousAgent exp�rimente processus AutonomousAgentER AutonomousAgentROP AutonomousAgentER est une instance de perception AutonomousAgent exp�rimente AutonomousAgentER processus cause AutonomousAgentER AutonomousAgentER contient information AutonomousAgentROP truth AutonomousAgentROP and False
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2060-2070	Processus est une instance de HeartPalpitations AutonomousAgent exp�rimente processus AutonomousAgentEART est une instance de Heart AutonomousAgentEART est une partie de AutonomousAgent processusER processusER est une instance de perception AutonomousAgent exp�rimente processusER AutonomousAgentEART est un patient de processusER
No TPTP formula. May not be expressible in strict first order.	emotion.kif 865-877	InterpersonalDisgust est un attribut de entit� pendant position temporel entit� entit� entit� est une instance de perception entit� est un patient de entit� entit� exp�rimente entit� entit� est une instance de humain temps d'existence de entit� prend place pendant position temporel cause InterpersonalDisgust est un attribut de entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 852-863	InterpersonalDisgust est un attribut de AutonomousAgent pendant interval temporel processus entit� processus est une instance de perception entit� est un patient de processus AutonomousAgent exp�rimente processus entit� est une instance de humain entit� est AutonomousAgent temps d'existence de processus prend place pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	emotion.kif 793-803	SensoryPleasure est un attribut de entit� pendant interval temporel physique physique est une instance de perception interval temporel prend place pendant temps d'existence de physique causesProposition entit� exp�rimente physique and SensoryPleasure est un attribut de entit� pendant interval temporel
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13483-13485	Objet est une instance de sentient agent objet est capable de faire perception dans le r�le experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15866-15874	Physique est une instance de objet d'art physique a pour but entit� entit� entit� est une instance de humain entit� est une instance de perception entit� exp�rimente entit� physique est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15876-15887	Physique est une instance de objet d'art physique a pour but entit� entit� est une instance de humain entit� desire entit� entit� est une instance de perception entit� exp�rimente entit� physique est un patient de entit�

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