TreeView Knowledge Base Browser - Hearing

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AppraisalAsDeliberate

Sigma KEE - Hearing

Hearing(听)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3317-3318
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13629-13630
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13628-13628	听是感知的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13672-13672	听是听的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1220-1220
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1661-1661
No TPTP formula. May not be expressible in strict first order.	french_format.kif 898-898
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 431-431
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 434-434
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2582-2582
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 850-850
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 436-436
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 470-470
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 919-919
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 435-435

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1636-1643	如果客体是 Eardrum 的 instance 和那个客体是施事体的 part 和那个施事体经历了那个施事体EAR 和 Healthy 是那个施事体的 attribute 和那个施事体EAR 是听的 instance，然后那个客体是导致那个施事体EAR 的 instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13632-13639	如果过程是听的 instance 和客体是那个过程的 patient，然后有存在属性这样那个属性是声音属性的 instance 和那个属性是那个客体的 attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 757-776	如果配音演员是施事体的 attribute 和过程是戏剧表演的 instance 和那个施事体是那个过程的 agent 和另一个过程是语言交流的 instance 和那个施事体是那个另外过程的 agent 和那个另外过程%n是那个过程的subProcess，然后不存在第三过程和另一个施事体这样那个第三过程是看的 instance 和那个施事体是那个第三过程的 patient 和那个另外施事体是那个第三过程的 agent 和有存在第四过程和那个另外施事体这样那个第四过程是听的 instance 和那个施事体是那个第四过程的 patient 和那个另外施事体是那个第四过程的 agent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3432-3461	如果可穿戴物品是听力保护的 instance 和动物是人类的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生和那个可穿戴物品是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13656-13670	如果过程是放射声音的 instance 和施事体是那个过程的 agent 和听得见是那个过程的 attribute，然后有存在客体和符号串这样那个客体是人类的 instance 和那个客体能够担当主事的角色做那个符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19809-19812	如果聋是客体的 attribute，然后那个客体不能够担当主事的角色做听
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1645-1656	如果 ImpairedBodyPartFn Eardrum 是实体的 attribute 在时间位置 holdsDuring，然后不存在那个实体EAR 这样那个实体EAR 是听的 instance 和那个实体EAR 出现的 time 在那个时间位置时段内发生和那个实体经历了那个实体EAR 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12171-12173	如果客体是耳的 instance，然后那个客体能够担当工具的角色做听
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26137-26155	如果物理是 PublicAddressSystem 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个另外实体是土地面积的 instance 和那个物理是 located 在那个另外实体和那个第三实体是一群人的 instance 和那个第三实体是 located 在那个另外实体和那个实体是放射声音的 instance 和那个物理是导致那个实体的 instrument 和对所有第四实体如果那个第四实体是那个第三实体的 member，然后有存在第五实体这样那个第五实体是听的 instance 和那个实体是那个第五实体的 patient 和那个第四实体是那个第五实体的 agent

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