TreeView Knowledge Base Browser - visibilityInMeteorology

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

visibilityInMeteorology

Sigma KEE - visibilityInMeteorology

visibilityInMeteorology

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2681-2684
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2676-2680
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2685-2685	气象学能见度的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2686-2686	气象学能见度的 2 数量是时间位置的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2687-2687	气象学能见度的 3 数量是长度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2688-2688	气象学能见度是三元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4934-4934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4933-4933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4932-4932
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2690-2690
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2689-2689

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2520-2533	如果过程是雾的 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 2549-2563	如果过程是阴霾的 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 2711-2731	如果 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 2733-2754	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance 和那个时距是晚上的时间的 instance 和过程是看着的 instance 和客体是地区的 instance 和发光的是那个客体的 attribute 和那个客体的 measure 是 1000.0 坎德拉和施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程是 located 在那个地区和那个过程出现的 time 在那个时距时段内发生和那个客体是客体的 instance，然后有存在另一个实数这样那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个实数是 greaterThan 那个另外实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2692-2709	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance，然后不存在过程，施事体,，，客体， and 和另一个实数这样那个过程是看着的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程出现的 time 在那个时距时段内发生和那个过程是 located 在那个地区和那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数

consequent

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

Weather.kif 2625-2634

如果过程是暴风雪的 instance，
然后有存在地区和实数这样那个地区是地理区域的 instance 和那个过程是 located 在那个地区和 visibility 在那个地区期间那个过程出现的 time 是那个实数仪表和那个实数是 lessThan 400.0

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