No TPTP formula. May not be expressible in strict first order.	Cars.kif 4309-4322	Objet est une instance de Reel processus est une instance de garder objet est une instance de objet corpusculaire LongAndThin est un attribut de objet Pliable est un attribut de objet objet est un instrument pour processus objet est un patient de processus processus processus est une instance de Rotating objet est un patient de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5846-5858	Processus est une instance de Infecting AutonomousAgent exp�rimente processus d�palcement processus and AutonomousAgent d�palcement est une instance de Translocation moves d�palcement and AutonomousAgent AutonomousAgent est une instance de organisme processus est une instance de reproduction AutonomousAgent exp�rimente processus d�palcement est un sous-processus de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6000-6011	AutonomousAgent est une instance de Lathe entit� est une instance de objet AutonomousAgent est un instrument pour processus entit� est un patient de processus processus processus est une instance de Rotating processus est un sous-processus de processus entit� est un patient de processus processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13751-13761	Processus est une instance de MusicalComposition processus exprime le contenu de processus entit� processus processus est une instance de Singing entit� est un patient de processus entit� est une instance de LyricalContent processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11580-11589	Processus est une instance de Translocation processus a pour origine objet objet processus objet est une instance de r�gion objet est objet processus est un sous-processus de processus processus est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Media.kif 1807-1817	Processus est une instance de MakingVocalMusic processus est un agent de AutonomousAgent AutonomousAgent est une instance de Choir AutonomousAgent est un membre de AutonomousAgent pendant processus processus processus est une instance de Singing processus est un sous-processus de processus processus est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Biography.kif 156-169	Processus est une instance de Ordaining physique est un patient de processus physique est une instance de humain physique est un membre de Christianity processus a pour but entit� entit� entit� est une instance de Ceremony entit� est une instance de Appointing entit� est un sous-processus de entit� physique est un patient de entit� appointedPosition entit�, physique and Cleric
No TPTP formula. May not be expressible in strict first order.	Sports.kif 624-634	Processus est une instance de BaseballRun processus est un agent de AutonomousAgent processus entit� processus est une instance de toucher processus est un sous-processus de processus processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de HomeBase
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8242-8256	Processus est une instance de r�cr�ation ou exercice processusM est un instrument pour processus processusM est une instance de RowingMachine AutonomousAgent exp�rimente processus processusOW est une instance de Rowing processusMOT est un sous-processus de processus classe est une sous-classe de mouvement du corps processusMOT est une instance de classe processusOWMOT processusOWMOT est une instance de classe processusOWMOT est un sous-processus de processus processusOWMOT est un agent de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18599-18613	Processus est une instance de Robbing processus est un agent de AutonomousAgent AutonomousAgent2 est un patient de processus processus processus est une instance de Threatening processus est un sous-processus de processus entit� entit� est une instance de Attack entit� est un agent de AutonomousAgent AutonomousAgent2 est un patient de entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Sports.kif 265-273	Processus est une instance de RunningARace processus est un agent de AutonomousAgent processus processus est une instance de Running processus est un agent de AutonomousAgent processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 713-723	Processus est une instance de ReconnaissanceByFire processus est un agent de AutonomousAgent processus entit� entit� est un patient de processus processus est un sous-processus de processus processus est une instance de Attack processus est un agent de AutonomousAgent entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13770-13783	Processus est une instance de Song processus exprime le contenu de processus processus processus, entit� and entit� processus est une instance de MakingMusic processus est une instance de Singing entit� est une instance de LyricalContent entit� est une instance de MusicalComposition entit� est un patient de processus entit� est un patient de processus processus est un sous-processus de processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11933-11944	Processus est une instance de Stroke objet est une instance de Brain processus est situ� � objet physique processus physique est une instance de NerveCell physique est situ� � objet processus est une instance de destruction processus est un sous-processus de processus physique est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18149-18183	Objet est une instance de Saw processus est une instance de couper objet est un instrument pour processus objet est une instance de objet objet est un patient de processus processus entit�, entit�, interval temporel, position temporel, position temporel and objet processus est une instance de d�palcement processus est un sous-processus de processus objet est une instance de CuttingDevice objet est une partie de objet objet rencontre objet objet est un patient de processus position temporel est une instance de interval temporel position temporel est une instance de interval temporel temps d'existence de processus est interval temporel interval temporel est une partie de position temporel interval temporel est une partie de position temporel entit� est une instance de attribut directionnel entit� est une instance de attribut directionnel les entit�es dans le processus processus bougent entit� pendant position temporel les entit�es dans le processus processus bougent entit� entit� est entit� oppositeDirection entit� and entit� ~{ entit� est entit� } ~{ oppositeDirection entit� and entit� } pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18563-18576	Processus est une instance de Sharing processus est un agent de AutonomousAgent processus aboutit � entit� objet est un patient de processus processus objet processus est une instance de donner processus est un sous-processus de processus objet est un patient de processus objet est une partie de objet processus est un agent de AutonomousAgent processus aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16642-16650	Proposition est une instance de SportsPlay processus exprime le contenu de proposition processus processus est une instance de TeamSport processus est une instance de manoeuvre processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	Transf�re est une instance de Thoracentesis objet est un patient de transf�re transf�re objet, transf�reN, objet, objet and objet transf�re est une instance de Inserting transf�re est un sous-processus de transf�re objectTransferred transf�re and objet transf�re a pour origine objet transf�re aboutit � transf�reN objet est une instance de Needle Fluid est un attribut de objet objectTransferred transf�re and objet objet aboutit � objet objet est une instance de Lung objet est une instance de Chest objet est une partie de objet objet est une partie de objet transf�re a pour origine transf�reN transf�re aboutit � objet transf�reN est entre objet et objet objet est Outside � objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	Processus est une instance de TwoStrokeTransfer objet est une instance de EngineCylinder trou est une instance de InternalCombustionChamber objet est h�te du trou trou eventLocated processus and objet entit� processus processus est une instance de GasMotion entit� est une instance de Exhaust processus est un sous-processus de processus processus a pour origine trou entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11327-11350	Processus est une instance de Translocation processus est une instance de Translocation processus a pour origine objet processus a pour origine objet processus aboutit � objet processus aboutit � entit� AutonomousAgent exp�rimente processus AutonomousAgent exp�rimente processus processus processus est une instance de Translocation processus a pour origine objet processus aboutit � entit� processus est un sous-processus de processus processus est un sous-processus de processus AutonomousAgent exp�rimente processus temps d'existence de processus commence temps d'existence de processus temps d'existence de processus finit temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	Processus est une instance de MultivariateTest Experimenting est un sous-processus de processus Experimenting est un sous-processus de processus Experimenting est une instance de Experimenting Experimenting est une instance de Experimenting processus est une instance de processus processus est une instance de processus experimentalVariableProcess Experimenting and processus experimentalVariableProcess Experimenting and processus processus processus est une instance de processus processus est un sous-processus de processus processus est un sous-processus de processus processus est processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 641-654	Objet est une instance de HighPrecisionWeapon objet est un instrument pour processus entit� est un patient de processus objet a pour but entit� entit� entit� est une instance de endommager entit� est un sous-processus de processus entit� est un patient de entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	Music.kif 1203-1213	Objet est une instance de WindInstrument processus est une instance de MakingInstrumentalMusic processus est un agent de AutonomousAgent objet est un instrument pour processus processus processus est une instance de Exhaling processus est un agent de AutonomousAgent processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	Processus est une instance de DryRoasting entit� est une instance de nourriture entit� est un patient de processus entit� entit� entit� est une instance de r�chauffer entit� est une instance de Stirring entit� est un sous-processus de processus entit� est un sous-processus de processus temps d'existence de entit� prend place pendant temps d'existence de entit� entit� est un patient de entit� entit� est un patient de entit� entit� entit� entit� est une instance de Oil entit� est une instance de DrinkingWater entit� est un patient de processus entit� est un patient de processus pendant processus
No TPTP formula. May not be expressible in strict first order.	naics.kif 8184-8197	ServiceProcess est une instance de WaterTransportationService serviceProvider ServiceProcess and agent cognitif CoastalAndGreatLakesFreightTransportation est un attribut de agent cognitif processus objet and secteur g�ographique processus est un sous-processus de ServiceProcess processus est une instance de WaterTransportation objet est un instrument pour processus objet est une instance de CargoShip eventLocated processus and secteur g�ographique secteur g�ographique est une instance de plan d'eau geographicSubregion secteur g�ographique and UnitedStates
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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