TreeView Knowledge Base Browser - Performance

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Performance

Performance(性能)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15875-15876
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15874-15874	性能是示范的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15980-15980	戏剧性的表现是性能的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15956-15956	音乐表演是性能的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15894-15894	表演法是性能的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45110-45110
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45109-45109
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 45108-45108

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18877-18882	如果过程是性能的 instance 和施事体是那个过程的 agent，然后 Performer 是那个施事体的 attribute 在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15887-15892	如果过程是性能的 instance，然后有存在客体这样那个客体是表演阶段的 instance 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15878-15885	如果过程是性能的 instance，然后有存在另一个过程这样那个另外过程%n是那个过程的subProcess 和那个另外过程是戏剧表演的 instance 或那个另外过程是制作音乐的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 378-385	如果 LiveRecording 是有内用物体的 attribute 和那个有内用物体是 Recording 的 instance，然后有存在物理这样那个物理是性能的 instance 和那个有内用物体是个那个物理的 record
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18948-18954	如果属性是娱乐专业的 instance 和那个属性是人类的 attribute，然后性能的 occupation 是那个人类的 occupation 或内容制作的 occupation 是那个人类的 occupation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18822-18829	如果喜剧演员是施事体的 attribute，然后有存在那个施事体ERF 和另一个过程这样那个施事体ERF 是性能的 instance 和那个施事体是那个施事体ERF 的 agent 和那个另外过程是笑的 instance 和那个施事体ERF causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2353-2372	如果 ArtsAndRecreationTicketingServices 是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是出售的 instance 和那个另外实体是那个实体的 patient 和那个客体是那个实体的 agent 和那个另外实体是票的 instance 和那个实体在那个第三实体结束和那个另外实体的目的是那个客体允许那个第三实体执行有存在第四实体和第五实体这样那个第四实体是看的 instance 和那个第三实体是那个第四实体的 agent 和那个第五实体是那个第四实体的 patient 和那个第五实体是性能的 instance 或那个第五实体是运动的 instance 的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22557-22565	如果物理是电影院的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是性能的 instance 和那个实体是动态映像的 instance 和那个实体是那个另外实体的 patient 和那个另外实体是 located 在那个物理
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7145-7151	如果施事体是娱乐公司的 instance，然后有存在过程这样那个过程是商业服务的 instance 和那个施事体是那个过程的 agent 和那个过程是性能的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14566-14572	如果内容承载物理是表演计划的 instance，然后有存在过程和命题这样那个内容承载物理 contains 那个命题的资料和那个过程表示那个命题的内容和那个过程是性能的 instance

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