TreeView 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 11257-11257
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 11256-11256	Wind est une sous-classe de GasMotion
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1241-1241	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 1249-1249	ChinookWind est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1248-1248	Ghibli est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1245-1245	HarmattanWind est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1246-1246	Khamsin est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1247-1247	Mistral est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1244-1244	Sirocco est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1243-1243	StrongWind est une sous-classe de Wind
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63099-63099
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63098-63098
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63097-63097

appearance as argument number 3

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

Weather.kif 327-327

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 1275-1296	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 484-496	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 349-366	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 11264-11272	Physique est une instance de Wind physique est situ� � objet interval temporel est temps d'existence de physique surfaceWindSpeed objet and nombre r�el MilesPerHour(s) pendant interval temporel nombre r�el est plus grand que 20.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14799-14804	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 343-347	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 2297-2303	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 1304-1315	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.	Weather.kif 178-186	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 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

KB Term:			Term intersection

English Word: