TreeView Knowledge Base Browser - AtmosphericRegion

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AtmosphericRegion

Sigma KEE - AtmosphericRegion

AtmosphericRegion(大气地区)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9028-9029
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8356-8356
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8930-8930
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8933-8933
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8932-8932
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9027-9027	大气地区是空间区域的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2772-2772	臭氧盾是大气地区的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9068-9068	空间区域详尽无遗地 partition 成大气地区和外太空区域
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9076-9076	暴风雨前线是大气地区的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8916-8916
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8915-8915
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8914-8914

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2533-2546	如果过程是雾的 instance 和那个过程是 located 在地区和那个地区是地理区域的 instance 和客体是大气地区的 instance 和那个客体在那个地区的以上和另一个客体是气溶胶的 instance 和那个另外客体对于那个客体在时间那个过程出现的 time located 和 visibility 在那个地区期间那个过程出现的 time 是实数仪表，然后那个实数是 lessThan 1000.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2576	如果过程是阴霾的 instance 和那个过程是 located 在地区和那个地区是地理区域的 instance 和客体是大气地区的 instance 和那个客体在那个地区的以上和另一个客体对于那个客体在时间那个过程出现的 time located 和 visibility 在那个地区期间那个过程出现的 time 是实数公里，然后那个实数是 greaterThan 2.0 和那个实数是 lessThan 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 41-46	如果客体是大气地区的 instance，然后有存在另一个客体这样那个另外客体是空气的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Weather.kif 33-35	如果客体是大气地区的 instance，然后那个客体是地球的大气的 part

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 944-955	如果过程是飞行的 instance 和实体是那个过程的 patient 和那个实体是空中发射导弹的 instance，然后有存在另一个实体这样那个另外实体是大气地区的 instance 和那个实体是 located 在那个另外实体在那个过程出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17228-17233	如果过程是飞行的 instance，然后有存在客体这样那个客体是大气地区的 instance 和那个过程是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17252-17259	如果过程是降落的 instance，然后有存在实体和另一个过程这样那个实体不是大气地区的 instance 和那个过程是 located 在那个实体在那个过程出现的 time 的结束 holdsDuring 和那个另外过程%n是那个过程的subProcess 和那个另外过程是飞行的 instance
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 976-990	如果物理是空袭导弹的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个物理是导致那个第三实体的 instrument 和那个实体是那个第三实体的 patient 和那个第三实体是损坏的 instance 和那个另外实体是大气地区的 instance 和那个物理是 located 在那个另外实体和那个实体是 located 在那个另外实体在那个第三实体出现的 time 的开始 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17239-17246	如果过程是起飞的 instance，然后有存在实体和另一个过程这样那个实体不是大气地区的 instance 和那个过程是 located 在那个实体在那个过程出现的 time 的开始 holdsDuring 和那个另外过程%n是那个过程的subProcess 和那个另外过程是飞行的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7413-7422	如果客体是悬浮颗粒的 instance，然后有存在自身连接物体，另一个客体， and 和实数这样那个另外客体是大气地区的 instance 和那个客体是 located 在那个另外客体和那个自身连接物体是那个客体的 part 和 1 的 approximate diameter 是 %2 和 1000.0 是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17688-17695	如果过程是航空运输的 instance，然后有存在客体和另一个客体这样那个客体是飞机的 instance 和那个另外客体是大气地区的 instance 和那个客体是导致那个过程的 instrument 和那个过程是 located 在那个另外客体

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