TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3549-3559
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 653-653
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3560-3560	纸是人工制品的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44286-44286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44285-44285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 44284-44284

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3574-3582	如果实体是纸的 instance，然后那个实体的目的是有存在另一个实体这样那个另外实体是文本的 instance 和那个另外实体是那个实体的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3562-3572	如果实体是纸的 instance，然后有存在过程，客体， and 和另一个过程这样那个过程是制作的 instance 和那个客体是纤维素的 instance 和那个另外过程是 Compressing 的 instance 和那个客体是那个过程的 resource 和那个实体是那个过程的 result 和那个过程%n是那个另外过程的subProcess 和那个客体是那个另外过程的 patient

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2717-2728	如果群体是机构的 instance 和造纸业是那个群体的 attribute，然后有存在施事体，过程， and 和躯体性物体这样那个施事体是行业的 instance 和那个施事体是那个群体的 member 和那个过程是制造的 instance 和那个施事体是那个过程的 agent 和那个躯体性物体是那个过程的 patient 和纸是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3125-3129	如果客体是墙纸的 instance 和另一个客体是那个客体的 part，然后那个另外客体是纸的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3589-3594	如果客体是货币单的 instance，然后有存在另一个客体这样那个另外客体是纸的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14871-14873	如果躯体性物体是节日贺卡的 instance，然后纸是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17129-17131	如果躯体性物体是纸牌的 instance，然后纸是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4230-4237	如果客体是胶带的 instance，然后有存在另一个客体这样那个另外客体是那个客体的 part 和那个另外客体是纸的 instance 或那个另外客体是织品的 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 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

KB Term:			Term intersection

English Word: