TreeView Knowledge Base Browser - bottom

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - bottom

bottom

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2843-2844
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9734-9735
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1587-1588
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9731-9731	底部的 1 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9732-9732	底部的 2 数量是自身连接物体的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9730-9730	底部是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9729-9729	底部是表面部分的 subrelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 359-359
No TPTP formula. May not be expressible in strict first order.	english_format.kif 362-362
No TPTP formula. May not be expressible in strict first order.	french_format.kif 208-208
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 39-39
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2015-2015
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 160-160
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 477-477
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 81-81
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 228-228
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 224-224
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 94-94
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 360-360
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11746-11746
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11745-11745
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 95-95

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 9737-9742	如果自身连接物体的 bottom 是另一个自身连接物体和客体是那个自身连接物体的 part 和那个客体和那个另外自身连接物体不是 connected，然后那个客体在那个另外自身连接物体的以上
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9798-9803	如果自身连接物体的 height 是长度测量和另一个自身连接物体是那个自身连接物体的 top 和那个自身连接物体的 bottom 是第三自身连接物体，然后那个另外自身连接物体和那个第三自身连接物体的 distance 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4698-4708	如果自身连接物体是瓶子的 instance 和那个自身连接物体的 bottom 是另一个自身连接物体和第三自身连接物体是那个自身连接物体的 top 和测量单位是 UnitOfLength 的 instance 和那个另外自身连接物体的 width 是实数那个测量单位和那个第三自身连接物体的 width 是另一个实数那个测量单位，然后那个另外实数是 lessThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5646-5653	如果自身连接物体是急流的 instance 和那个自身连接物体的 bottom 是另一个自身连接物体，然后有存在客体这样那个客体是岩石的 instance 和那个客体是那个另外自身连接物体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17516-17521	如果过程是逆的 instance 和实体是那个过程的 patient 和另一个实体是那个实体的 top 和那个实体的 bottom 是第三实体在那个过程出现的 time 的开始 holdsDuring，然后那个第三实体是那个实体的 top 和那个实体的 bottom 是那个另外实体在那个过程出现的 time 的结束 holdsDuring

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17516-17521	如果过程是逆的 instance 和实体是那个过程的 patient 和另一个实体是那个实体的 top 和那个实体的 bottom 是第三实体在那个过程出现的 time 的开始 holdsDuring，然后那个第三实体是那个实体的 top 和那个实体的 bottom 是那个另外实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1647-1668	如果过程是龙卷风的 instance 和另一个过程是旋转的 instance 和客体是空气的 instance 和那个过程RAN 是易位的 instance 和那个另外过程%n是那个过程的subProcess 和那个过程RAN%n是那个另外过程的subProcess 和那个客体是那个过程RAN 的 patient 和那个过程RAN 过程的实体向横，然后有存在另一个客体，自身连接物体,，，那个过程OP,，，第三自身连接物体,，，第四自身连接物体， and 和第五自身连接物体这样那个另外客体是地理区域的 instance 和那个过程是 located 在那个另外客体和那个自身连接物体是那个客体的 part 和 ConeSegment 是那个自身连接物体的 attribute 和那个过程OP 是那个自身连接物体的 top 和那个自身连接物体的 bottom 是那个第三自身连接物体和那个第四自身连接物体是云的 instance 和那个第四自身连接物体的 bottom 是那个第五自身连接物体和那个过程OP 接上那个第五自身连接物体和那个第三自身连接物体接上那个另外客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1157-1165	如果 LoftStyle 是自身连接物体的 attribute，然后有存在另一个自身连接物体，客体， and 和第三自身连接物体这样那个自身连接物体的 bottom 是那个另外自身连接物体和那个第三自身连接物体是那个自身连接物体的 top 和那个客体是固定人工制品的 instance 和那个客体在那个另外自身连接物体的以上和那个客体在那个第三自身连接物体的下面
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7762-7767	如果对于物理从自身连接物体的 depth 是长度测量，然后有存在另一个自身连接物体这样那个自身连接物体的 bottom 是那个另外自身连接物体和那个另外自身连接物体和那个物理的 distance 是那个长度测量
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4476-4484	如果实体是盒的 instance，然后符号串所描述的类别 instance 的数量 equal 6
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25188-25194	如果自身连接物体是 FabricIron 的 instance，然后有存在躯体性物体这样那个自身连接物体的 bottom 是那个躯体性物体和金属是那个躯体性物体的材料和平面是那个躯体性物体的 attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5198-5203	如果自身连接物体是鞋底的 instance，然后有存在另一个自身连接物体这样那个另外自身连接物体是鞋的 instance 和那个另外自身连接物体的 bottom 是那个自身连接物体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4107-4118	如果自身连接物体是倾斜的区域的 instance，然后有存在另一个自身连接物体，第三自身连接物体,，，实数,，，另一个实数， and 和测量单位这样那个另外自身连接物体是那个自身连接物体的 top 和那个自身连接物体的 bottom 是那个第三自身连接物体和那个测量单位是 UnitOfLength 的 instance 和那个另外自身连接物体是那个实数那个测量单位 above 地表和那个第三自身连接物体是那个另外实数那个测量单位 above 地表和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2826-2851	如果 rain 的 rate 在地理区域期间时距是函数量，然后有存在转移，群体,，，物理,，，自身连接物体,，，实体,，，另一个自身连接物体， and 和那个转移FALL 这样那个转移是下雨的 instance 和那个转移是 located 在那个地理区域和那个转移出现的 time 在那个时距时段内发生和那个群体是群体的 instance 和 objectTransferred 那个转移 and 那个群体和那个物理是水的 instance 和那个物理是那个群体的 member 和那个自身连接物体是容器的 instance 和那个自身连接物体的 bottom 是那个另外自身连接物体和平面是那个另外自身连接物体的 attribute 和那个自身连接物体是 located 在那个地理区域和空容器是那个自身连接物体的 attribute 在那个时距的开始 holdsDuring 和那个群体是 located 在那个自身连接物体和那个实体是那个群体的 top 和对于那个另外自身连接物体从那个实体的 depth 是那个转移FALL 和那个转移FALL equal 那个时距和那个函数量在那个时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3031-3058	如果 snow 的下降 rate 在地理区域期间时距是函数量，然后有存在转移，客体,，，自身连接物体,，，实体,，，另一个自身连接物体， and 和另一个实体这样那个转移是下雪的 instance 和那个转移是 located 在那个地理区域和那个转移出现的 time 在那个时距时段内发生和那个客体是雪的 instance 和 objectTransferred 那个转移 and 那个客体和那个自身连接物体是板或块的 instance 和那个自身连接物体的 bottom 是那个另外自身连接物体和平面是那个另外自身连接物体的 attribute 和那个自身连接物体是 located 在那个地理区域和不存在第三实体这样那个第三实体是客体的 instance 和那个第三实体是 located 在那个自身连接物体在那个时距的开始 holdsDuring 和那个客体是 located 在那个自身连接物体和那个实体是那个客体的 top 和对于那个另外自身连接物体从那个实体的 depth 是那个另外实体和那个另外实体 equal 那个时距和那个函数量在那个时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17571-17577	如果长度测量是自身连接物体的 water 深度，然后有存在另一个自身连接物体和第三自身连接物体这样对于那个另外自身连接物体从那个第三自身连接物体的 depth 是那个长度测量和那个第三自身连接物体是那个自身连接物体的 top 和那个自身连接物体的 bottom 是那个另外自身连接物体

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