Closing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Closing

Closing(关闭)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21526-21527
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10642-10642
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10645-10645
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9944-9944
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10644-10644
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10643-10643
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21525-21525	关闭是运动的 subclass

appearance as argument number 2

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 19959-19959	闭上眼睛是关闭的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15204-15204
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15203-15203
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15202-15202

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 2698-2714	如果锁定是客体的 attribute，然后有存在另一个客体，过程， and 和实体这样那个另外客体是锁的 instance 和那个另外客体和那个客体是 connected 和那个过程是关闭的 instance 和那个另外客体是那个过程的 patient 和那个实体是运动的 instance 和那个过程出现的 time 比锁定是那个客体的 attribute 出现的 time发生的earlier 和那个客体是那个实体的 patient 的声明 doesn't have 可能性的语气在锁定是那个客体的 attribute 出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 828-844	如果物理是 ChestSeal 的 instance，然后那个物理的目的是有存在实体，那个实体H,，，第三实体， and 和第四实体这样那个实体是关闭的 instance 和那个物理是导致那个实体的 instrument 和那个实体是 located 在那个实体H 和那个实体H 是 Chest 的 instance 和那个第四实体是洞的 instance 和那个实体H equal 洞那个第四实体的主体和那个第三实体是受伤的 instance 和那个第三实体是 located 在那个实体H 和那个第三实体出现的 time 比那个实体出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5163-5177	如果物理是热封机的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第三实体是容器的 instance 和那个另外实体是塑料的 instance 和那个实体是关闭的 instance 和那个第四实体是加热的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是导致那个实体的 instrument 和那个物理是那个第四实体的 agent 和那个另外实体是那个第四实体的 patient 和那个实体是那个第四实体的 result 和那个第三实体是那个实体的 patient
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 29382-29388	如果物理是 VehicleDoor 的 instance，然后那个物理的目的是有存在实体这样那个实体是关闭的 instance 和那个物理是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2670-2692	如果物理是键的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是锁的 instance 和那个物理能够担当工具的角色做那个另外实体所描述的类别和那个物理能够担当工具的角色做那个第三实体所描述的类别
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3783-3808	如果群体是 RemoteKeylessSystem 的 instance，然后有存在客体，物理,，，符号串， and 和另一个符号串这样那个客体是键的 instance 和那个客体是 RemoteControl 的 instance 和那个客体是那个群体的 member 和那个物理是锁的 instance 和那个物理是那个群体的 member 和那个客体能够担当工具的角色做那个符号串所描述的类别和那个客体能够担当工具的角色做那个另外符号串所描述的类别

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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