visibilityInMeteorology - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - visibilityInMeteorology

visibilityInMeteorology

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2698-2701
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2693-2697
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2702-2702	气象学能见度的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2703-2703	气象学能见度的 2 数量是时间位置的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2704-2704	气象学能见度的 3 数量是长度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2705-2705	气象学能见度是三元谓语的 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 2707-2707
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2706-2706

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2537-2550	如果过程是雾的 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 2566-2580	如果过程是阴霾的 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 2728-2748	如果 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 2750-2771	如果 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 2709-2726	如果 visibility 在地区期间时距是实数测量单位和那个测量单位是测量单位的 instance，然后不存在过程，施事体,，，客体， and 和另一个实数这样那个过程是看着的 instance 和那个施事体是那个过程的 agent 和那个客体是那个过程的 patient 和那个施事体在那个客体的横和那个过程出现的 time 在那个时距时段内发生和那个过程是 located 在那个地区和那个施事体和那个客体的 distance 是那个另外实数那个测量单位和那个另外实数是 greaterThan 那个实数

consequent

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

Weather.kif 2642-2651

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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