(=>     (instance ?A Antiseizure)     (hasPurpose ?A         (exists (?H ?I ?T)             (and                 (instance ?H Human)                 (instance ?I Ingesting)                 (objectTransferred ?I ?A)                 (agent ?I ?H)                 (earlier                     (WhenFn ?I) ?T)                 (holdsDuring ?T                     (not                         (exists (?S)                             (and                                 (instance ?S Seizure)                                 (experiencer ?S ?H)))))))))	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�
(=>     (instance ?AD HumanDoll)     (exists (?H)         (and             (instance ?H Human)             (represents ?AD ?H))))	Mid-level-ontology.kif 2420-2425	Entit� est une instance de HumanDoll entit� entit� est une instance de humain entit� d�finie entit�
(=>     (instance ?ANIMAL DomesticAnimal)     (exists (?KEEP ?PERSON)         (and             (instance ?KEEP Keeping)             (agent ?KEEP ?PERSON)             (instance ?PERSON Human)             (patient ?KEEP ?ANIMAL))))	Mid-level-ontology.kif 20021-20028	Entit� est une instance de DomesticAnimal processus AutonomousAgent processus est une instance de garder processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain entit� est un patient de processus
(=>     (instance ?AW ArtWork)     (hasPurpose ?AW         (exists (?H ?P)             (and                 (instance ?H Human)                 (instance ?P Perception)                 (experiencer ?P ?H)                 (patient ?P ?AW)))))	Merge.kif 15866-15874	Physique est une instance de objet d'art physique a pour but entit� entit� entit� est une instance de humain entit� est une instance de perception entit� exp�rimente entit� physique est un patient de entit�
(=>     (instance ?AW ArtWork)     (hasPurpose ?AW         (exists (?H)             (and                 (instance ?H Human)                 (desires ?H                     (exists (?P)                         (and                             (instance ?P Perception)                             (experiencer ?P ?H)                             (patient ?P ?AW))))))))	Merge.kif 15876-15887	Physique est une instance de objet d'art physique a pour but entit� entit� est une instance de humain entit� desire entit� entit� est une instance de perception entit� exp�rimente entit� physique est un patient de entit�
(=>     (instance ?B Biography)     (exists (?H)         (and             (instance ?H Human)             (refers ?B ?H))))	Mid-level-ontology.kif 14897-14902	Entit� est une instance de Biography entit� entit� est une instance de humain entit� inclut une r�f�rence � entit�
(=>     (instance ?B Burrow)     (exists (?P ?A)         (and             (instance ?P Process)             (agent ?P ?A)             (instance ?A Animal)             (not                 (instance ?A Human))             (result ?P ?B))))	Geography.kif 6031-6040	Entit� est une instance de Burrow processus AutonomousAgent processus est une instance de processus processus est un agent de AutonomousAgent AutonomousAgent est une instance de animal AutonomousAgent est une instance de humain entit� est le resultat de processus
(=>     (instance ?B HumanBack)     (exists (?P ?T)         (and             (instance ?P Human)             (instance ?T Torso)             (part ?T ?P)             (equal ?B                 (BackFn ?T)))))	Medicine.kif 5659-5666	Objet en une partie est une instance de HumanBack objet objet en une partie objet est une instance de humain objet en une partie est une instance de Torso objet en une partie est une partie de objet objet en une partie est derri�re de objet en une partie
(=>     (instance ?BAKERY Bakery)     (exists (?SERVICE ?FOOD ?BAKE)         (and             (instance ?BAKE Baking)             (result ?BAKE ?FOOD)             (instance ?FOOD                 (FoodForFn Human))             (agent ?BAKE ?BAKERY)             (instance ?SERVICE CommercialService)             (agent ?SERVICE ?BAKERY)             (instance ?SERVICE Selling)             (patient ?SERVICE ?FOOD))))	Dining.kif 70-81	AutonomousAgent est une instance de Bakery processus entit� and processus processus est une instance de Baking entit� est le resultat de processus entit� est une instance de FoodForFn humain processus est un agent de AutonomousAgent processus est une instance de CommercialService processus est un agent de AutonomousAgent processus est une instance de vendre entit� est un patient de processus
(=>     (instance ?BD BathingDevice)     (hasPurpose ?BD         (exists (?B ?P)             (and                 (instance ?B Bathing)                 (instrument ?B ?BD)                 (patient ?B ?P)                 (instance ?P Human)))))	Mid-level-ontology.kif 8872-8880	Physique est une instance de BathingDevice physique a pour but entit� entit� entit� est une instance de Bathing physique est un instrument pour entit� entit� est un patient de entit� entit� est une instance de humain
(=>     (instance ?BLANKET Blanket)     (hasPurpose ?BLANKET         (exists (?HEAT ?PERSON ?BED)             (and                 (instance ?HEAT Heating)                 (patient ?HEAT ?PERSON)                 (instance ?PERSON Human)                 (located ?PERSON ?BED)                 (instance ?BED Bed)))))	Mid-level-ontology.kif 5434-5443	Physique est une instance de Blanket physique a pour but entit� entit� and entit� entit� est une instance de r�chauffer entit� est un patient de entit� entit� est une instance de humain entit� est situ� � entit� entit� est une instance de Bed
(=>     (instance ?BUILDING Building)     (exists (?HUMAN)         (and             (instance ?HUMAN Human)             (or                 (inhabits ?HUMAN ?BUILDING)                 (exists (?ACT)                     (and                         (agent ?ACT ?HUMAN)                         (located ?ACT ?BUILDING)))))))	Merge.kif 15765-15775	Objet est une instance de immeuble organisme organisme est une instance de humain organisme vie � objet processus processus est un agent de organisme processus est situ� � objet
(=>     (instance ?C Coronation)     (exists (?PERSON ?PLACE)         (and             (instance ?PERSON Human)             (patient ?C ?PERSON)             (instance ?PLACE GeopoliticalArea)             (holdsDuring                 (BeginFn                     (WhenFn ?C))                 (not                     (chiefOfState ?PLACE Monarch ?PERSON)))             (holdsDuring                 (ImmediateFutureFn                     (WhenFn ?C))                 (chiefOfState ?PLACE Monarch ?PERSON)))))	Government.kif 1375-1390	Processus est une instance de Coronation entit� entit� entit� est une instance de humain entit� est un patient de processus entit� est une instance de secteur g�opolitique chiefOfState entit�, Monarch and entit� pendant le d�but de temps d'existence de processus chiefOfState entit�, Monarch and entit� pendant immediatement apr�s temps d'existence de processus
(=>     (instance ?C Partnership)     (exists (?H1 ?H2)         (and             (instance ?H1 Human)             (instance ?H2 Human)             (not                 (equal ?H1 ?H2))             (possesses ?H1 ?C)             (possesses ?H2 ?C))))	Mid-level-ontology.kif 7215-7223	Objet est une instance de Partnership AutonomousAgent AutonomousAgent AutonomousAgent est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent est AutonomousAgent AutonomousAgent poss�de objet AutonomousAgent poss�de objet
(=>     (instance ?C Proprietorship)     (exists (?H)         (and             (instance ?H Human)             (possesses ?H ?C)             (not                 (exists (?H2)                     (and                         (not                             (equal ?H ?H2))                         (possesses ?H2 ?C)))))))	Mid-level-ontology.kif 7307-7317	Objet est une instance de Proprietorship AutonomousAgent AutonomousAgent est une instance de humain AutonomousAgent poss�de objet AutonomousAgent2 AutonomousAgent est AutonomousAgent2 AutonomousAgent2 poss�de objet
(=>     (instance ?C Restaurant)     (exists (?S ?F ?B)         (and             (instance ?S CommercialService)             (agent ?S ?C)             (instance ?S Selling)             (instance ?B RestaurantBuilding)             (eventLocated ?S ?B)             (patient ?S ?F)             (instance ?F                 (FoodForFn Human)))))	Mid-level-ontology.kif 7280-7290	AutonomousAgent est une instance de Restaurant processus entit� and objet processus est une instance de CommercialService processus est un agent de AutonomousAgent processus est une instance de vendre objet est une instance de RestaurantBuilding eventLocated processus and objet entit� est un patient de processus entit� est une instance de FoodForFn humain
(=>     (instance ?CAR PassengerRailcar)     (exists (?CARRY)         (capability             (KappaFn ?CARRY                 (and                     (instance ?CARRY Transportation)                     (exists (?HUMAN)                         (and                             (instance ?HUMAN Human)                             (patient ?CARRY ?HUMAN))))) instrument ?CAR)))	Transportation.kif 2127-2137	Objet est une instance de PassengerRailcar objetRY objet est capable de faire la classe d�crite par objetRY dans le r�le instrument
(=>     (instance ?CHAIR Chair)     (hasPurpose ?CHAIR         (not             (exists (?PERSON1 ?PERSON2)                 (and                     (instance ?PERSON1 Human)                     (instance ?PERSON2 Human)                     (holdsDuring ?T                         (and                             (attribute ?PERSON1 Sitting)                             (attribute ?PERSON2 Sitting)                             (located ?PERSON1 ?CHAIR)                             (located ?PERSON2 ?CHAIR)))                     (not                         (equal ?PERSON1 ?PERSON2)))))))	Mid-level-ontology.kif 3733-3748	Physique est une instance de Chair physique a pour but entit� entit� entit� est une instance de humain entit� est une instance de humain Sitting est un attribut de entit� Sitting est un attribut de entit� entit� est situ� � physique entit� est situ� � physique pendant entit� entit� est entit�
(=>     (instance ?CHECK SelfServiceCheckIn)     (exists (?AGENT)         (and             (agent ?CHECK ?AGENT)             (not                 (instance ?AGENT Human)))))	Hotel.kif 2174-2179	Processus est une instance de SelfServiceCheckIn AutonomousAgent processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain
(=>     (instance ?CHECK SelfServiceCheckOut)     (exists (?AGENT)         (and             (agent ?CHECK ?AGENT)             (not                 (instance ?AGENT Human)))))	Hotel.kif 2211-2216	Processus est une instance de SelfServiceCheckOut AutonomousAgent processus est un agent de AutonomousAgent AutonomousAgent est une instance de humain
(=>     (instance ?COOK Cooking)     (exists (?FOOD)         (and             (instance ?FOOD                 (FoodForFn Human))             (result ?COOK ?FOOD))))	Merge.kif 12889-12894	Processus est une instance de cuisiner entit� entit� est une instance de FoodForFn humain entit� est le resultat de processus
(=>     (instance ?CPR CPR)     (hasPurpose ?CPR         (exists (?O ?HB)             (and                 (instance ?O Human)                 (instance ?HB HeartBeat)                 (located ?HB ?O)                 (causes ?CPR ?HB)))))	Medicine.kif 599-607	Physique est une instance de CPR physique a pour but entit� entit� entit� est une instance de humain entit� est une instance de HeartBeat entit� est situ� � entit� physique cause entit�
(=>     (instance ?D Diuretic)     (hasPurpose ?D         (exists (?R ?L ?H ?LOC)             (and                 (instance ?H Human)                 (instance ?R Removing)                 (instance ?L Liquid)                 (experiencer ?R ?H)                 (moves ?R ?L)                 (origin ?L ?H)                 (not                     (contains ?H ?LOC))                 (destination ?R ?LOC)))))	Mid-level-ontology.kif 10009-10022	Physique est une instance de Diuretic physique a pour but entit� entit�, entit� and entit�OC entit� est une instance de humain entit� est une instance de supprimer entit� est une instance de Liquid entit� exp�rimente entit� moves entit� and entit� entit� a pour origine entit� entit� ne contient %n{pas} entit�OC entit� aboutit � entit�OC
(=>     (instance ?DISEASE VaccinatableDisease)     (exists (?VACCINE ?HUMAN ?PUT)         (and             (instance ?VACCINE Vaccine)             (instance ?PUT Putting)             (destination ?PUT ?HUMAN)             (instance ?HUMAN Human)             (modalAttribute                 (holdsDuring                     (FutureFn                         (WhenFn ?PUT))                     (not                         (attribute ?HUMAN ?DISEASE))) Likely))))	WMD.kif 1046-1059	Entit� est une instance de VaccinatableDisease entit� entit� and processus entit� est une instance de Vaccine processus est une instance de mettre processus aboutit � entit� entit� est une instance de humain l'argument entit� est un attribut de entit� pendant apr�s temps d'existence de processus a la force modale de Likely
(=>     (instance ?E Embracing)     (exists (?P1 ?P2)         (and             (instance ?P1 Human)             (instance ?P2 Human)             (not                 (equal ?P1 ?P2))             (agent ?E ?P1)             (agent ?E ?P2))))	Mid-level-ontology.kif 11639-11647	Processus est une instance de Embracing AutonomousAgent AutonomousAgent AutonomousAgent est une instance de humain AutonomousAgent est une instance de humain AutonomousAgent est AutonomousAgent processus est un agent de AutonomousAgent processus est un agent de AutonomousAgent
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