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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WeatherProcess

Sigma KEE - WeatherProcess
WeatherProcess

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11220-11220 WeatherProcess est disjoint de processus intentionnel
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3017-3018
No TPTP formula. May not be expressible in strict first order. Merge.kif 11222-11225
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1781-1783
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2061-2061
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8794-8794
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9813-9813
No TPTP formula. May not be expressible in strict first order. Merge.kif 11219-11219 WeatherProcess est une sous-classe de d�palcement

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2558-2558 AtmosphericHazing est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 873-873 ClearWeather est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 2480-2480 Desertification est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 2462-2462 Drought est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 2529-2529 Fogging est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 2775-2775 Frosting est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 1550-1550 HeavySurf est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 2507-2507 Icing est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3038-3038 Lightning est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 923-923 OvercastWeather est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 896-896 PartlyCloudyWeather est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 11227-11227 Precipitation est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 2885-2885 Storm est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 806-806 StormSystem est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3050-3050 Thunder est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 2455-2455 Tsunami est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 840-840 Waterspout est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 808-808 WeatherFront est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 503-503 WeatherSeason est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 521-521 WeatherSystem est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 1237-1237 Wind est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. Weather.kif 1325-1325 Zud est une sous-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62613-62613
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62612-62612
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62611-62611

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 1182-1182 Le nombre 1 argument de precipitationState est une instance de WeatherProcess


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