No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6281-6288	Processus est une instance de ShrapnelExplosion objet transf�re objet est une instance de m�tal transf�re est une instance de Translocation processus cause transf�re objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2087-2094	Processus est une instance de TourService entit� processus entit� est une instance de TouristSite processus est une instance de Translocation processus aboutit � entit� processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14311-14319	Physique est une instance de LandTransitway physique a pour but entit� entit� entit� est une instance de Translocation physique est le chemin le long duquel entit� se produit eventLocated entit� and entit� entit� est une instance de zone de terre
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14298-14304	Physique est une instance de Transitway physique a pour but entit� entit� est une instance de Translocation physique est le chemin le long duquel entit� se produit
No TPTP formula. May not be expressible in strict first order.	Weather.kif 523-530	Processus est une instance de WeatherSystem processus entit� processus est une instance de Translocation entit� est une instance de WindFlow entit� est un patient de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3683-3712	Physique est une instance de SeatBelt physique a pour but entit� entit�, entit� and entit� entit� est une instance de Vehicle physique est une partie de entit� entit� est une instance de humain entit� contient entit� entit� est une instance de processus entit� previent l'occurrence de la classe d�crite par entit�

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