(=>     (playsRoleInEventOfType ?OBJ ?ROLE ?TYPE ?TIME ?PLACE)     (exists (?EVENT)         (and             (instance ?EVENT ?TYPE)             (time ?EVENT ?TIME)             (eventLocated ?EVENT ?PLACE)             (playsRoleInEvent ?OBJ ?ROLE ?EVENT))))	Mid-level-ontology.kif 21197-21204	If an object plays role in event of type a case role for a kind of process with a time position and another object, then there exists another process such that the other process is an instance of a kind of process and the other process exists during the time position and the other process is located at 2 and the object plays role in event the case role for the other process
(=>     (result ?PROC ?OBJ)     (forall (?TIME)         (=>             (before ?TIME                 (BeginFn                     (WhenFn ?PROC)))             (not                 (time ?OBJ ?TIME)))))	Merge.kif 7657-7663	If a physical is a result of a process, then for all a time point if the time point happens before the beginning of the time of existence of the process, then the physical doesn't exist during the time point
(=>     (weddingdate ?PERSON1 ?PERSON2 ?DAY)     (exists (?WEDDING)         (and             (instance ?WEDDING Wedding)             (patient ?WEDDING ?PERSON1)             (patient ?WEDDING ?PERSON2)             (time ?WEDDING ?DAY))))	Biography.kif 52-59	If a human and another human were married on a day, then there exists a process such that the process is an instance of wedding and the human is a patient of the process and the other human is a patient of the process and the process exists during the day

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners