No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	suppliesBlood Artery and partie du corps physique est une instance de Artery entit� est une instance de partie du corps physique a pour but entit� entit� entit� est une instance de LiquidMotion objectTransferred entit� and entit� entit� est une instance de sang entit� aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1089-1103	vaccine Vaccine and virus transf�re est une instance de Vaccination AutonomousAgent exp�rimente transf�re VaccineI est une instance de Vaccine objectTransferred transf�re and VaccineI VaccineI a pour but entit� virusI entit� est une instance de Infecting AutonomousAgent exp�rimente entit� virusI est une instance de virus objectTransferred entit� and virusI
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5150-5156	NewItem est un attribut de objet transf�re transf�re est une instance de acheter objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5137-5142	UsedItem est un attribut de objet transf�re transf�re est une instance de acheter objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9317-9329	USNonPrescriptionDrug est un attribut de objet l'argument entit� entit� est une instance de acheter objectTransferred entit� and objet entit� entit� est une instance de Prescription entit� inclut une r�f�rence � objet a la force modale de Legal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9295-9307	USPrescriptionDrug est un attribut de objet l'argument entit� entit� est une instance de acheter objectTransferred entit� and objet entit� entit� est une instance de Prescription entit� inclut une r�f�rence � objet a la force modale de Illegal
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 20-39	Tourniquet est un attribut de objet pendant objetIME AutonomousAgent processus and transf�re AutonomousAgent est une instance de humain processus est une instance de Bleeding transf�re est une instance de attacher AutonomousAgent exp�rimente processus transf�re aboutit � AutonomousAgent objectTransferred transf�re and objet objet a pour but processus2 processus2 est une instance de Bleeding immediatement apr�s temps d'existence de transf�re recouvre temps d'existence de processus2 AutonomousAgent exp�rimente processus2
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3317-3332	Physique est une instance de Antiseizure physique a pour but entit� entit� and entit� entit� est une instance de humain entit� est une instance de ing�rer objectTransferred entit� and physique entit� est un agent de entit� temps d'existence de entit� arrive plus t�t que entit� entit� entit� est une instance de Seizure entit� exp�rimente entit� pendant entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1347-1353	Physique est une instance de InjectedAntibiotic physique a pour but entit� entit� est une instance de Injecting objectTransferred entit� and physique
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4345-4354	Processus est une instance de AnimalGuiding AutonomousAgent transf�re and AutonomousAgent AutonomousAgent est une instance de animal processus est un agent de AutonomousAgent transf�re est une instance de Carrying transf�re est un agent de AutonomousAgent objectTransferred transf�re and AutonomousAgent AutonomousAgent est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9696-9708	Physique est une instance de Antidepressant physique a pour but entit� entit� entit� est une instance de ing�rer objectTransferred entit� and physique physique est un agent de entit� Depression est un attribut de entit� pendant apr�s temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9716-9728	Physique est une instance de Antipsychotic physique a pour but entit� entit� entit� est une instance de ing�rer objectTransferred entit� and physique physique est un agent de entit� Psychosis est un attribut de entit� pendant apr�s temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 67-78	Transf�re est une instance de ApplyingTourniquet AutonomousAgent entit� and objet AutonomousAgent est une instance de agent entit� est une instance de mammif�re Tourniquet est un attribut de objet pendant temps d'existence de transf�re transf�re aboutit � entit� transf�re est un agent de AutonomousAgent objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24009-24016	Transf�re est une instance de naissance objet transf�reABY Female est un attribut de objet transf�re a pour origine objet objectTransferred transf�re and transf�reABY NonFullyFormed est un attribut de transf�reABY
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1349-1369	Processus est une instance de BreakingWave processus objet, entit� and transf�re processus est une instance de WaterWave processus est un sous-processus de processus objet est une instance de BodyOfWater entit� est une instance de BodyOfWater entit� est un patient de processus objet est un patient de processus transf�re est une instance de Falling objectTransferred transf�re and objet objet est une partie de entit� pendant le d�but de temps d'existence de transf�re objet est une partie de entit� pendant la fin de temps d'existence de transf�re
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 570-577	Transf�re est une instance de Catheterization transf�reATH entit� transf�reATH est une instance de Catheter entit� est une instance de organisme objectTransferred transf�re and transf�reATH transf�re aboutit � entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18310-18319	Transf�re est une instance de Defrauding AutonomousAgent AutonomousAgent and objet transf�re est un agent de AutonomousAgent suffers transf�re and AutonomousAgent benefits transf�re and AutonomousAgent objectTransferred transf�re and objet objet a pour origine AutonomousAgent objet aboutit � AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2799-2811	Transf�re est une instance de Drizzling collection objet en une partie and nombre r�el collection est une instance de collection objet en une partie est une instance de eau objet en une partie est une instance de LiquidDrop objet en une partie est un membre de collection objectTransferred transf�re and collection approximateDiameter objet en une partie and nombre r�el Millimeter(s) l'argument nombre r�el est plus petit ou �gal � 0.5 a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2396-2401	Transf�re est une instance de ElectricTransmission objet objet est une instance de Electricity objectTransferred transf�re and objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2671-2679	Physique est une instance de ExhaustValve physique a pour but entit� entit� entit� est une instance de transf�re objectTransferred entit� and entit� physique est le chemin le long duquel entit� se produit entit� est une instance de Exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3026-3034	Physique est une instance de GreaseFitting physique a pour but entit� entit� entit� est une instance de Grease entit� est une instance de mettre physique est le chemin le long duquel entit� se produit objectTransferred entit� and entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3042-3050	Physique est une instance de GreaseGun physique a pour but entit� entit� entit� est une instance de Grease entit� est une instance de mettre physique est un instrument pour entit� objectTransferred entit� and entit�
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4484-4486	Objet est une instance de HandTool objet est capable de faire Carrying dans le r�le objectTransferred
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3409-3417	Physique est une instance de ITunes physique a pour but entit� entit� entit� est une instance de MultimediaFile entit� est une instance de DownloadingOverNetwork objectTransferred entit� and entit� physique est un instrument pour entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12396-12405	Physique est une instance de Inflammation transf�re objet transf�re est une instance de Translocation objet est une instance de WhiteBloodCell objectTransferred transf�re and objet transf�re aboutit � la place o� physique �tait � temps d'existence de physique
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