(=>     (instance ?PJ Pajamas)     (hasPurpose ?PJ         (exists (?A ?REST)             (and                 (instance ?A Human)                 (agent ?REST ?A)                 (holdsDuring ?REST                     (wears ?A ?PJ))                 (or                     (instance ?REST Sleeping)                     (instance ?REST StayingStill))))))	Mid-level-ontology.kif 5324-5335	Physique est une instance de Pajamas physique a pour but entit� entit� entit� est une instance de humain entit� est un agent de entit� entit� porte physique pendant entit� entit� est une instance de Sleeping entit� est une instance de StayingStill
(=>     (instance ?SV SafetyVest)     (hasPurpose ?SV         (exists (?PERSON ?SPECTATOR)             (and                 (instance ?PERSON Animal)                 (instance ?SPECTATOR Human)                 (increasesLikelihood                     (wears ?PERSON ?SV)                     (exists (?SEE)                         (and                             (instance ?SEE Seeing)                             (patient ?SEE ?PERSON)                             (experiencer ?SEE ?SPECTATOR))))                 (decreasesLikelihood                     (exists (?SEE)                         (and                             (instance ?SEE Seeing)                             (patient ?SEE ?PERSON)                             (experiencer ?SEE ?SPECTATOR)))                     (exists (?INJ)                         (and                             (instance ?INJ Injuring)                             (agent ?INJ ?SPECTATOR)                             (patient ?INJ ?PERSON))))))))	Cars.kif 3558-3582	Physique est une instance de SafetyVest physique a pour but entit� entit� entit� est une instance de animal entit� est une instance de humain entit� porte physique augmente la probabilit� de entit� entit� est une instance de voir entit� est un patient de entit� entit� exp�rimente entit� entit� entit� est une instance de voir entit� est un patient de entit� entit� exp�rimente entit� diminue la probabilit� de entit� entit� est une instance de blesser entit� est un agent de entit� entit� est un patient de entit�
(=>     (instance ?WI WearableItem)     (hasPurpose ?WI         (exists (?H)             (and                 (instance ?H Human)                 (wears ?H ?WI)))))	Merge.kif 15892-15898	Physique est une instance de WearableItem physique a pour but entit� entit� est une instance de humain entit� porte physique

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