TreeView Knowledge Base Browser - Horizontal

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Horizontal

Horizontal(横)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17063-17063	横是垂直的相反
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3810-3811
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17064-17065
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17062-17062	横是位置属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28557-28557
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28556-28556
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28555-28555
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 532-532

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17067-17069	客体在另一个客体的横若且唯若那个另外客体在那个客体的横
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.	Weather.kif 2724-2744	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是一天的时间的 instance 和过程是看着的 instance 和客体是客体的 instance 和那个客体是黑色的 color 和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2746-2767	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是晚上的时间的 instance 和过程是看着的 instance 和客体是地区的 instance 和发光的是那个客体的 attribute 和那个客体的 measure 是 1000.0 坎德拉和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17067-17069	客体在另一个客体的横若且唯若那个另外客体在那个客体的横
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2705-2722	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance，然后不存在过程，施事体,，，客体， and 和另一个实数这样那个过程是看着的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程出现的 time 在那个时距时段内发生和那个过程是 located 在那个地区和那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数

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