Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  LowPressureWeatherSystem

Sigma KEE - LowPressureWeatherSystem
LowPressureWeatherSystem(low pressure weather system)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 537-539
No TPTP formula. May not be expressible in strict first order. Weather.kif 532-535
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1160-1160
No TPTP formula. May not be expressible in strict first order. Weather.kif 541-541 Low pressure weather system is exhaustively partitioned into high pressure weather system
No TPTP formula. May not be expressible in strict first order. Weather.kif 540-540 Low pressure weather system is a subclass of weather system

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 551-551 Cyclonic storm is a subclass of low pressure weather system
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35195-35195
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35194-35194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35193-35193

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 543-549

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2916-2929


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