TreeView Knowledge Base Browser - Impacting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Impacting

Impacting(碰撞)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3056-3057
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11557-11559
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1824-1825
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11555-11555	碰撞是接触的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13090-13090	拍手是碰撞的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 961-961	Crushing 是碰撞的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1559-1559	TouchSurfaceTap 是碰撞的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1128-1128
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1473-1473
No TPTP formula. May not be expressible in strict first order.	french_format.kif 806-806
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 338-338
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 341-341
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2490-2490
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 758-758
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 343-343
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 377-377
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 827-827
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 342-342

antecedent

No TPTP formula. May not be expressible in strict first order.	Music.kif 1256-1264	如果实体是钟的 instance 和过程是碰撞的 instance 和那个过程在那个实体结束，然后有存在另一个过程这样那个另外过程是音调的 instance 和那个过程 causes 那个另外过程
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1328-1340	如果过程是碰撞的 instance 和实体是那个过程的 patient 和 ImpairedBodyPartFn 脑是那个实体的 attribute 在紧接那个过程 after holdsDuring，然后 Concussion 是那个实体的 attribute 在紧接那个过程 after holdsDuring 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11561-11569	如果过程是碰撞的 instance 和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是驱动的 instance 和那个实体是那个另外过程的 patient 和那个另外过程出现的 time 比那个过程出现的 time发生的earlier

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	如果过程是躲着的 instance 和施事体是那个过程的 agent 和那个过程T equal 那个过程出现的 time，然后那个过程的目的是不存在实体这样那个过程T 接着那个实体出现的 time 或那个实体出现的 time 时段和那个过程T 重叠和那个实体是碰撞的 instance 和那个施事体是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25828-25840	如果客体是 KnockLight 的 instance 和施事体是人类的 instance 和聋是那个施事体的 attribute 和那个施事体 uses 那个客体，然后那个客体的目的是有存在实体和另一个实体这样那个实体是碰撞的 instance 和那个另外实体是那个实体的 patient 和那个另外实体是门的 instance 和那个施事体 knows 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25809-25826	如果物理是 KnockLight 的 instance 和那个物理是 located 在客体和那个客体是房间的 instance 和另一个客体是门的 instance 和那个另外客体是那个客体的 part，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是碰撞的 instance 和那个另外客体是那个实体的 patient 和那个实体 causes 那个另外实体和那个另外实体是放射声音的 instance 和那个另外客体是那个另外实体的 agent 和那个另外实体 causes 那个第三实体和那个第三实体是辐射可见光的 instance 和那个物理是导致那个第三实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13123-13130	如果过程是回避的 instance 和施事体是那个过程的 agent，然后那个过程的目的是不存在实体这样那个实体是碰撞的 instance 和那个施事体是那个实体的 patient
No TPTP formula. May not be expressible in strict first order.	Food.kif 969-978	如果过程是 Crushing 的 instance，然后有存在另一个过程，那个过程， and 和实体这样那个另外过程是碰撞的 instance 和那个过程%n是那个另外过程的subProcess 和那个过程是 Compressing 的 instance 和那个实体是那个另外过程的 patient 和那个实体是那个过程的 patient 和那个实体是客体的 instance
No TPTP formula. May not be expressible in strict first order.	Music.kif 1365-1375	如果过程是鼓声的 instance，然后有存在施事体，那个过程RUM， and 和另一个过程这样那个施事体是那个过程的 agent 和那个过程RUM 是导致那个过程的 instrument 和那个另外过程%n是那个过程的subProcess 和那个施事体是那个另外过程的 agent 和那个过程RUM 是那个另外过程的 patient 和那个另外过程是碰撞的 instance 和那个过程RUM 是鼓的 instance
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3640-3664	如果物理是 AutoAirbag 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个实体是汽车的 instance 和那个物理是那个实体的 part 和那个另外实体是人类的 instance 和那个实体 contains 那个另外实体和那个第三实体是碰撞的 instance 和那个实体是那个第三实体的 patient 和那个第四实体是 Inflating 的 instance 和那个物理是那个第四实体的 patient 和那个第三实体 causes 那个第四实体和那个第四实体 hinders 那个第五实体所描述的类别
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3683-3712	如果物理是 SeatBelt 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第三实体是车辆的 instance 和那个物理是那个第三实体的 part 和那个实体是人类的 instance 和那个第三实体 contains 那个实体和那个另外实体是过程的 instance 和那个另外实体 prevents 那个第四实体所描述的类别的发生

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