(=>     (instance ?SHIP CombinationBulkOilCarrierShip)     (cargoType ?SHIP Object))	Transportation.kif 2400-2402	V�hicule de transport est une instance de CombinationBulkOilCarrierShip cargoType v�hicule de transport and objet
(=>     (instance ?SOAK Soaking)     (exists (?WATER ?OBJ)         (and             (instance ?OBJ Object)             (patient ?SOAK ?OBJ)             (instance ?WATER FreshWater)             (resource ?SOAK ?WATER)             (holdsDuring ?SOAK                 (orientation ?OBJ ?WATER Surrounded)))))	Mid-level-ontology.kif 26515-26524	Processus est une instance de Soaking objet entit� entit� est une instance de objet entit� est un patient de processus objet est une instance de FreshWater objet est une resource pour processus entit� est Surrounded � objet pendant processus
(=>     (instance ?T Translocation)     (exists (?O ?D ?P)         (and             (instance ?O Object)             (instance ?D Object)             (instance ?P Object)             (path ?T ?P)             (origin ?T ?O)             (destination ?T ?D))))	Merge.kif 11591-11600	D�palcement est une instance de Translocation objet entit� and objet objet est une instance de objet entit� est une instance de objet objet est une instance de objet objet est le chemin le long duquel d�palcement se produit d�palcement a pour origine objet d�palcement aboutit � entit�
(=>     (instance ?T Truck)     (exists (?L)         (and             (subclass ?L Object)             (cargoType ?T ?L))))	Transportation.kif 2019-2024	V�hicule de transport est une instance de Truck objet objet est une sous-classe de objet cargoType v�hicule de transport and objet
(=>     (instance ?VM VendingMachine)     (hasPurpose ?VM         (exists (?H ?O ?V)             (and                 (instance ?V Vending)                 (instance ?H Human)                 (instance ?O Object)                 (objectTransferred ?V ?O)                 (instrument ?V ?VM)                 (origin ?V ?VM)                 (not                     (instance ?O Currency))                 (destination ?V ?H)))))	Mid-level-ontology.kif 1959-1972	Physique est une instance de VendingMachine physique a pour but entit� entit� and entit� entit� est une instance de Vending entit� est une instance de humain entit� est une instance de objet objectTransferred entit� and entit� physique est un instrument pour entit� entit� a pour origine physique entit� est une instance de Currency entit� aboutit � entit�
(=>     (instance ?X BusinessCenter)     (hasPurpose ?X         (exists (?PERSON ?WORK ?OBJ)             (and                 (attribute ?PERSON BusinessPerson)                 (instance ?WORK Working)                 (instance ?OBJ Object)                 (located ?OBJ ?X)                 (agent ?WORK ?PERSON)                 (or                     (instrument ?WORK ?OBJ)                     (resource ?WORK ?OBJ)                     (patient ?WORK ?OBJ))))))	Hotel.kif 1655-1668	Physique est une instance de BusinessCenter physique a pour but entit� entit� and entit� BusinessPerson est un attribut de entit� entit� est une instance de Working entit� est une instance de objet entit� est situ� � physique entit� est un agent de entit� entit� est un instrument pour entit� entit� est une resource pour entit� entit� est un patient de entit�
(=>     (instance ?X Protecting)     (hasPurpose ?X         (exists (?OBJ ?T ?H ?HARM)             (and                 (instance ?OBJ Object)                 (patient ?X Object)                 (subclass ?HARM                     (KappaFn ?H                         (and                             (or                                 (instance ?H CriminalAction)                                 (instance ?H Damaging))                             (=>                                 (holdsDuring ?T                                     (patient ?H ?OBJ))                                 (not                                     (holdsDuring ?T                                         (patient ?X ?OBJ)))))))                 (or                     (prevents ?X ?HARM)                     (hinders ?X ?HARM))))))	Mid-level-ontology.kif 18420-18441	Physique est une instance de Protecting physique a pour but entit� entit�, entit� and entit�ARM entit� est une instance de objet objet est un patient de physique entit�ARM est une sous-classe de la classe d�crite par entit� physique previent l'occurrence de entit�ARM hinders physique and entit�ARM
(=>     (instance ?X Sculpting)     (exists (?SC ?OBJ)         (and             (instance ?OBJ Object)             (patient ?X ?OBJ)             (instance ?SC ShapeChange)             (subProcess ?SC ?X)             (patient ?SC ?OBJ))))	Mid-level-ontology.kif 3280-3288	Processus est une instance de Sculpting processus entit� entit� est une instance de objet entit� est un patient de processus processus est une instance de changement de forme processus est un sous-processus de processus entit� est un patient de processus
(=>     (instance ?X WetBar)     (exists (?SINK ?OBJ)         (and             (instance ?SINK WashBasin)             (part ?SINK ?X)             (instance ?OBJ Object)             (attribute ?OBJ Flat)             (hasPurpose ?OBJ                 (exists (?PREP ?FOOD)                     (and                         (instance ?PREP Making)                         (result ?PREP ?FOOD)                         (or                             (instance ?FOOD PreparedFood)                             (instance ?FOOD Beverage))                         (eventLocated ?PREP ?OBJ))))             (part ?OBJ ?X))))	Food.kif 331-348	Objet est une instance de WetBar objet objet objet est une instance de WashBasin objet est une partie de objet objet est une instance de objet Flat est un attribut de objet objet a pour but entit� entit� entit� est une instance de faire entit� est le resultat de entit� entit� est une instance de PreparedFood entit� est une instance de boisson eventLocated entit� and objet objet est une partie de objet
(=>     (relativeAngle ?L1 ?L2 ?M)     (and         (instance ?L1 Object)         (attribute ?L1 LongAndThin)         (instance ?L2 Object)         (attribute ?L2 LongAndThin)         (connected ?L1 ?L2)         (not             (equal ?L1 ?L2))))	Merge.kif 17916-17925	relativeAngle objet, objet and nombre r�el objet est une instance de objet LongAndThin est un attribut de objet objet est une instance de objet LongAndThin est un attribut de objet objet est connect� � objet objet est objet
(=>     (snowfallIntensity ?AREA ?TIME ?RATE)     (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)         (and             (instance ?PROCESS Snowing)             (eventLocated ?PROCESS ?AREA)             (during                 (WhenFn ?PROCESS) ?TIME)             (instance ?STUFF Snow)             (objectTransferred ?PROCESS ?STUFF)             (instance ?BOARD BoardOrBlock)             (bottom ?BOTTOM ?BOARD)             (attribute ?BOTTOM Flat)             (located ?BOARD ?AREA)             (holdsDuring                 (BeginFn ?TIME)                 (not                     (exists (?X)                         (and                             (instance ?X Object)                             (located ?X ?BOARD)))))             (holdsDuring                 (EndFn ?TIME)                 (and                     (located ?STUFF ?BOARD)                     (top ?TOP ?STUFF)                     (depth ?TOP ?BOTTOM ?SNOWFALL)                     (equal ?SNOWFALL                         (MultiplicationFn ?TIME ?RATE)))))))	Weather.kif 3031-3058	snowfallIntensity secteur g�ographique, interval temporel and function de quantit� transf�re objet, objet en une partie, entit�, objet en une partie and entit� transf�re est une instance de Snowing eventLocated transf�re and secteur g�ographique temps d'existence de transf�re prend place pendant interval temporel objet est une instance de Snow objectTransferred transf�re and objet objet en une partie est une instance de BoardOrBlock l' arri�re de objet en une partie est objet en une partie Flat est un attribut de objet en une partie objet en une partie est situ� � secteur g�ographique entit� entit� est une instance de objet entit� est situ� � objet en une partie pendant le d�but de interval temporel objet est situ� � objet en une partie le dessus de objet est entit� depth entit�, objet en une partie and entit� entit� est interval temporel + function de quantit� pendant la fin de interval temporel

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