Cutting - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3161-3162
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12344-12345
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12343-12343	切开是刺的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5468-5468	砍伐是切开的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22027-22027	Slicing 是切开的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1164-1164
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1545-1545
No TPTP formula. May not be expressible in strict first order.	french_format.kif 842-842
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 374-374
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 377-377
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2526-2526
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 794-794
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 379-379
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 413-413
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 863-863
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 378-378

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22018-22025	如果客体是刀片的 instance 和过程是切开的 instance 和另一个客体是客体的 instance 和那个客体是导致那个过程的 instrument 和那个另外客体是那个过程的 patient，然后那个客体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18150-18184	如果客体是锯的 instance 和过程是切开的 instance 和那个客体是导致那个过程的 instrument 和另一个客体是客体的 instance 和那个另外客体是那个过程的 patient，然后有存在另一个过程，实体,，，另一个实体,，，时距,，，时间位置,，，另一个时间位置， and 和第三客体这样那个另外过程是运动的 instance 和那个另外过程%n是那个过程的subProcess 和那个第三客体是切割装置的 instance 和那个第三客体是那个客体的 part 和那个第三客体接上那个另外客体和那个第三客体是那个另外过程的 patient 和那个另外时间位置是时距的 instance 和那个另外时间位置是时距的 instance 和那个另外过程出现的 time equal 那个时距和那个时距时段是那个时间位置时段的一 part 和那个时距时段是那个另外时间位置时段的一 part 和那个实体是方向属性的 instance 和那个另外实体是方向属性的 instance 和如果那个另外过程过程的实体向那个实体在那个时间位置 holdsDuring，然后那个另外过程过程的实体向那个另外实体和那个实体 equal 那个另外实体或那个另外实体是那个实体的 opposite 方向和 ~{ 那个实体 equal 那个另外实体 } 或 ~{ 那个另外实体是那个实体的 opposite 方向 } 在那个另外时间位置 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12259-12268	如果过程是外科手术的 instance 和实体是那个过程的 patient，然后有存在另一个过程这样那个另外过程是切开的 instance 和那个实体是动物的 instance 和那个实体是那个另外过程的 patient 和那个另外过程%n是那个过程的subProcess
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	如果理发店是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是头发的 instance 和那个实体是那个另外实体的 part 和那个另外实体是人类的 instance 和那个第三实体是切开的 instance 和那个实体是那个第三实体的 patient 和那个第三实体是 located 在那个客体和那个第四实体是那个第三实体的 agent 和那个客体 employs 那个第四实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18113-18121	如果物理是钻头的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是切开的 instance 和那个另外实体是洞的 instance 和那个另外实体是那个实体的 result 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5562-5569	如果实体是 FinishedLumber 的 instance，然后有存在过程和客体这样那个过程是切开的 instance 和那个客体是导致那个过程的 instrument 和那个客体是刨床的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	如果实体是砍伐的 instance，然后有存在过程，另一个过程,，，客体， and 和另一个客体这样那个过程是切开的 instance 和那个客体是那个过程的 patient 和那个客体是植物树的 instance 和那个另外过程是那个过程的 result 和那个另外过程是落下的 instance 和那个另外客体是那个另外过程的 patient 和那个另外客体是 PlantStem 的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5523-5530	如果实体是木料的 instance，然后有存在过程和另一个实体这样那个过程是切开的 instance 和那个实体是那个过程的 result 和那个另外实体是那个过程的 patient 和那个另外实体是木料的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6017-6036	如果物理是刨床的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个实体是切开的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是那个实体的 resource 和那个另外实体是客体的 instance 和那个另外实体是木的材料和那个第三实体是那个实体的 result 和那个第三实体是客体的 instance 和木是那个第三实体的材料和平面是那个第三实体的 attribute 和那个第四实体是 UnitOfLength 的 instance 和那个另外实体的 height 是那个第五实体那个第四实体和那个第三实体的 height 是那个第六实体那个第四实体和那个第五实体是 greaterThan 那个第六实体
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5548-5556	如果实体是 RoughSawnLumber 的 instance，然后不存在过程和客体这样那个过程是切开的 instance 和那个客体是导致那个过程的 instrument 和那个客体是刨床的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21998-22000	如果格角色是切割装置的 instance，然后工具能够担当那个格角色的角色做切开
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18190-18198	如果物理是 PaperShredder 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是切开的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是纸的 instance 和那个另外实体是那个实体的 patient

statement

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 18202-18219

有存在 ?X， ?CUT,，， ?PAPER,，， ?CBO， and 和 ?INFO 这样 ?X 是 PaperShredder 的 instance 和 ?CUT 是切开的 instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是纸的 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObject 的 instance 和 ?CBO contains ?INFO 的资料减少有存在 ?READ 这样 ?READ 是解读的 instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现的 time 比?READ 出现的 time发生的earlier 发生的机率

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

KB Term:			Term intersection

English Word: