TreeView Knowledge Base Browser - Opening

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Opening

Opening(开盘)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21520-21523
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11553-11553
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11557-11557
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11555-11555
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11554-11554
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10168-10168
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11556-11556
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21519-21519	开盘和关闭是内部相关
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21518-21518	开盘是运动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19953-19953	睁开眼睛是开盘的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42198-42198
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42197-42197
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 42196-42196

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29390-29396	如果客体是 VehicleDoor 的 instance 和 DeviceNormal 是那个客体的 attribute，然后那个客体能够担当受事的角色做开盘和那个客体能够担当受事的角色做关闭
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2428-2438	如果 Doorman 是客体的 attribute，然后那个客体的目的是有存在实体和另一个实体这样那个实体是门的 instance 和那个客体是那个另外实体的 agent 和那个实体是那个另外实体的 patient 和那个另外实体是开盘的 instance 或那个另外实体是关闭的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4019-4027	如果自身连接物体是盖子的 instance，然后有存在另一个自身连接物体这样那个另外自身连接物体是容器的 instance 和那个自身连接物体是那个另外自身连接物体的 part 和那个自身连接物体能够担当工具的角色做关闭和那个自身连接物体能够担当工具的角色做开盘和那个自身连接物体是那个另外自身连接物体的 top
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25775-25786	如果物理是 ElectronicLock 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是电子信号的 instance 和那个实体在那个物理结束和那个另外实体是开盘的 instance 和那个物理是导致那个另外实体的 instrument 和那个实体出现的 time 的开始%n在那个另外实体出现的 time 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3270-3285	如果物理是 ManifoldHeatControlValve 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体， and 和第五实体这样那个实体是加热的 instance 和那个另外实体是开盘的 instance 和那个第三实体是 Exhaust 的 instance 和那个第五实体是转移的 instance 和那个第四实体是 FuelVapor 的 instance 和那个物理是那个另外实体的 patient 和那个第三实体是导致那个实体的 instrument 和那个第四实体是那个实体的 patient 和那个物理%n是那个第五实体发生的path 和那个另外实体 causes 那个第五实体和那个第五实体 causes 那个实体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3852-3872	如果物理是 RockerArm 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个实体是 Pushing 的 instance 和那个另外实体是 Cam 的 instance 和那个第三实体是 Pushing 的 instance 和那个第四实体是阀的 instance 和那个第五实体是开盘的 instance 和那个第六实体是 FourStrokeEngine 的 instance 和那个物理是那个第六实体的 part 和那个另外实体是那个第六实体的 part 和那个第四实体是那个第六实体的 part 和那个另外实体是导致那个实体的 instrument 和那个实体在那个物理结束和那个物理是导致那个第三实体的 instrument 和那个第三实体在那个第四实体结束和那个实体 causes 那个第三实体和那个第三实体 causes 那个第五实体和那个第四实体是那个第五实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29374-29380	如果物理是 VehicleDoor 的 instance，然后那个物理的目的是有存在实体这样那个实体是开盘的 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