AtmosphericHazing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AtmosphericHazing

AtmosphericHazing(阴霾)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2555-2557
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2550-2554
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6605-6605
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2558-2558	阴霾是天气过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2560-2560
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2559-2559

antecedent

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 2586-2594	如果过程是阴霾的 instance 和客体是地理区域的 instance 和那个过程是 located 在那个客体，然后 BadAirQuality 是那个客体的 attribute 的声明 has 容易的语气在那个过程出现的 time holdsDuring

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