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(感知)

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	感知是心理过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13604-13604	听是感知的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13543-13543	看是感知的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13578-13578	嗅是感知的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13653-13653	触觉是感知的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13591-13591	尝是感知的 subclass
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	SenseImpairmentFn 的 1 数量是感知的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13531-13531	SenseInabilityFn 的 1 数量是感知的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13477-13481	如果过程是感知的 instance 和施事体是那个过程的 agent，然后那个施事体是动物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17640-17647	如果过程是感知的 instance 和客体是那个过程的 patient，然后有存在属性这样那个属性是感知属性的 instance 和那个属性是那个客体的 attribute

consequent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1710-1721	如果过程是 ExperiencingALumpInTheThroat 的 instance 和施事体经历了那个过程，然后有存在另一个过程和客体这样那个另外过程是感知的 instance 和那个另外过程%n是那个过程的subProcess 和那个施事体是那个另外过程的 agent 和那个客体是那个另外过程的 patient 和那个客体是喉的 instance 和那个客体是那个施事体的 part
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1583-1597	如果过程是 ExperiencingDiscomfortInTheStomach 的 instance 和施事体经历了那个过程，然后有存在另一个过程，那个另外过程AIN， and 和客体这样那个另外过程是感知的 instance 和那个另外过程出现的 time 在那个另外过程AIN 出现的 time 时段内发生和那个另外过程AIN 是痛的 instance 和那个施事体经历了那个另外过程AIN 和那个另外过程%n是那个过程的subProcess 和那个施事体是那个另外过程的 agent 和那个客体是那个另外过程的 patient 和那个客体是胃的 instance 和那个客体是那个施事体的 part
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	如果过程是 ExperiencingHeatInCheeksOrChest 的 instance 和施事体经历了那个过程，然后有存在另一个过程和客体这样那个另外过程是感知的 instance 和那个另外过程%n是那个过程的subProcess 和那个施事体是那个另外过程的 agent 和那个客体是那个另外过程的 patient 和那个客体是躯干的 instance 或那个客体是面对的 instance 和那个客体是那个施事体的 part
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3665-3678	如果过程是 Gaslighting 的 instance 和施事体是那个过程的 agent 和另一个施事体 suffers 从那个过程，然后有存在另一个过程这样那个另外过程是感知的 instance 和那个另外施事体经历了那个另外过程和那个另外施事体 doesn't knows 实体是那个另外过程的 result 是那个另外施事体 suffers 从那个过程的 causes 提议
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6428-6438	如果过程是 Hallucination 的 instance 和施事体经历了那个过程，然后有存在那个施事体ER 和那个施事体ROP 这样那个施事体ER 是感知的 instance 和那个施事体经历了那个施事体ER 和那个过程 causes 那个施事体ER 和那个施事体ER contains 那个施事体ROP 的资料和那个施事体ROP 是假
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2060-2070	如果过程是 HeartPalpitations 的 instance 和施事体经历了那个过程和那个施事体EART 是心的 instance 和那个施事体EART 是那个施事体的 part，然后有存在那个过程ER 这样那个过程ER 是感知的 instance 和那个施事体经历了那个过程ER 和那个施事体EART 是那个过程ER 的 patient
No TPTP formula. May not be expressible in strict first order.	emotion.kif 865-877	如果 InterpersonalDisgust 是实体的 attribute 在时间位置 holdsDuring，然后有存在另一个实体和第三实体这样那个另外实体是感知的 instance 和那个第三实体是那个另外实体的 patient 和那个实体经历了那个另外实体和那个第三实体是人类的 instance 和那个另外实体出现的 time 在那个时间位置时段内发生 causes InterpersonalDisgust 是那个实体的 attribute 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	emotion.kif 852-863	如果 InterpersonalDisgust 是施事体的 attribute 在时距 holdsDuring，然后有存在过程和实体这样那个过程是感知的 instance 和那个实体是那个过程的 patient 和那个施事体经历了那个过程和那个实体是人类的 instance 和那个实体不 equal 那个施事体和那个过程出现的 time 在那个时距时段内发生
No TPTP formula. May not be expressible in strict first order.	emotion.kif 793-803	如果 SensoryPleasure 是实体的 attribute 在时距 holdsDuring，然后有存在物理这样那个物理是感知的 instance 和那个时距在那个物理出现的 time 时段内发生和 SensoryPleasure 是那个实体的 attribute 在那个时距 holdsDuring 是那个实体经历了那个物理的 causes 提议
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13483-13485	如果客体是有感知的主事的 instance，然后那个客体能够担当经历者的角色做感知
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15866-15874	如果物理是艺术品的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是人类的 instance 和那个另外实体是感知的 instance 和那个实体经历了那个另外实体和那个物理是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15876-15887	如果物理是艺术品的 instance，然后那个物理的目的是有存在实体这样那个实体是人类的 instance 和那个实体 desires 有存在另一个实体这样那个另外实体是感知的 instance 和那个实体经历了那个另外实体和那个物理是那个另外实体的 patient

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