Wind - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3027-3027
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11291-11291
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1792-1792
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 839-839
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2064-2064
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11290-11290	Wind est une sous-classe de GasMotion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1225-1225	Wind est une sous-classe de WeatherProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1233-1233	ChinookWind est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1232-1232	Ghibli est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1229-1229	HarmattanWind est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1230-1230	Khamsin est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1231-1231	Mistral est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1228-1228	Sirocco est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1227-1227	StrongWind est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63101-63101
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63100-63100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63099-63099

appearance as argument number 3

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

Weather.kif 315-315

Le nombre 1 argument de windDrivenMotion est une instance de Wind

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1259-1280	Processus est une instance de DustStorm processus est une instance de Wind processus est un sous-processus de processus transf�re objet, objet, objet, objet and nombre r�el objet est une instance de zone de terre eventLocated processus and objet surfaceWindSpeed objet and nombre r�el KnotUnitOfSpeed(s) nombre r�el est plus grand que 30.0 transf�re est une instance de Translocation transf�re est un sous-processus de processus objectTransferred transf�re and objet objectTransferred transf�re and objet objet est une instance de ParticulateMatter objet est une instance de Sand objet est une instance de zone de terre transf�re aboutit � objet objet ne recouvre %n{pas} objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 125-130	R�gion est une instance de objet physique est une instance de Wind la mesure de physique est mesure de longueur par dur�e temporel en r�gion dans la direction attribut directionnel surfaceWindVelocity r�gion, mesure de longueur par dur�e temporel and attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Weather.kif 472-484	Processus est une instance de Wind entit� est une instance de BeaufortNumber12 eventLocated processus and objet agent cognitif croit processus a un attribute entit� nombre r�el nombre r�el est plus grand que 73.0 agent cognitif croit surfaceWindSpeed objet and nombre r�el MilesPerHour(s)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 337-354	Processus est une instance de Wind SpeedScaleAttribute est une instance de BeaufortNumberAttribute eventLocated processus and objet agent cognitif croit processus a un attribute SpeedScaleAttribute speedScaleAttributeMinMax SpeedScaleAttribute, nombre r�el unit� de mesure(s) and nombre r�el unit� de mesure(s) unit� de mesure est une instance de unit� de mesure nombre r�el nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est plus petit ou �gal � nombre r�el agent cognitif croit surfaceWindSpeed objet and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14845-14850	Processus est une instance de Wind entit� entit� est un patient de processus entit� est une instance de Air

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 331-335	Attribut est une instance de BeaufortNumberAttribute entit� a un attribute attribut entit� est une instance de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 115-123	surfaceWindVelocity r�gion, mesure de longueur par dur�e temporel and attribut directionnel r�gion est une instance de WindFlow processus processus est une instance de Wind eventPartlyLocated processus and r�gion la mesure de processus est mesure de longueur par dur�e temporel en r�gion dans la direction attribut directionnel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2290-2296	Physique est une instance de FanDevice physique a pour but entit� entit� est une instance de Wind physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Weather.kif 94-99	Objet est une instance de WindFlow processus processus est une instance de Wind eventLocated processus and objet
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1305-1316	Processus est une instance de WindSurfing objet objet, processus and processus objet est une instance de WindSurfingBoard objet est une instance de plan d'eau processus est une instance de Wind processus est une instance de d�palcement eventLocated processus and objet processus est un sous-processus de processus objet est un instrument pour processus processus cause processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29848-29856	Objet est Downwind � objet entit� entit� and objet entit� est une instance de Wind objet est le chemin le long duquel transf�re se produit transf�re a pour origine objet beforeOnPath objet, objet, objet and transf�re transf�re aboutit � objet
No TPTP formula. May not be expressible in strict first order.	Weather.kif 166-174	surfaceWindDirection objet and attribut directionnel processus objet processus est une instance de Wind objet est une instance de r�gion eventPartlyLocated processus and objet processus a pour origine objet objet est attribut directionnel � objet

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

KB Term:			Term intersection

English Word: