(=>     (holdsDuring ?TIME         (attribute ?AGENT Surprise))     (exists (?PART ?PROP)         (and             (temporalPart ?PART                 (PastFn ?TIME))             (holdsDuring ?PART                 (expects ?AGENT ?PROP))             (holdsDuring ?TIME                 (truth ?PROP False)))))	Mid-level-ontology.kif 18723-18729	holdsDuring TimePosition and attribute entity and Surprise TimePosition entity temporalPart TimePosition and PastFn TimePosition holdsDuring TimePosition and expects entity and entity holdsDuring TimePosition and truth entity and False
(=>     (holdsDuring ?TIME         (attribute ?PERSON Drunk))     (exists (?PAST)         (and             (temporalPart ?PAST                 (PastFn ?TIME))             (holdsDuring ?PAST                 (exists (?DRINK ?ALCOHOL)                     (and                         (instance ?DRINK Drinking)                         (patient ?DRINK ?ALCOHOL)                         (instance ?ALCOHOL AlcoholicBeverage)                         (agent ?DRINK ?PERSON)))))))	Mid-level-ontology.kif 8280-8291	holdsDuring TimePosition and attribute entity and Drunk TimePosition temporalPart TimePosition and PastFn TimePosition holdsDuring TimePosition and entity entity instance entity and Drinking patient entity and entity instance entity and AlcoholicBeverage agent entity and entity
(=>     (holdsDuring ?TIME         (instance ?AREA MilitaryFront))     (exists (?BATTLE)         (and             (instance ?BATTLE Battle)             (eventLocated ?BATTLE ?AREA)             (temporalPart ?TIME ?BATTLE))))	Mid-level-ontology.kif 8625-8631	holdsDuring TimePosition and instance Entity and MilitaryFront Process instance Process and Battle eventLocated Process and Entity temporalPart TimePosition and Process
(=>     (instance ?ANAT AnatomicalStructure)     (exists (?ORGANISM ?TIME)         (and             (instance ?ORGANISM Organism)             (temporalPart ?TIME                 (WhenFn ?ORGANISM))             (holdsDuring ?TIME                 (part ?ANAT ?ORGANISM)))))	Merge.kif 14657-14663	instance Entity and AnatomicalStructure Physical TimePosition instance Physical and Organism temporalPart TimePosition and WhenFn Physical holdsDuring TimePosition and part Entity and Physical
(=>     (instance ?C Convoy)     (exists (?V1 ?V2 ?TIME)         (and             (not                 (equal ?V1 ?V2))             (instance ?V1 Vehicle)             (instance ?V2 Vehicle)             (instance ?TIME TimeInterval)             (temporalPart ?TIME                 (WhenFn ?C))             (holdsDuring ?TIME                 (and                     (member ?V1 ?C)                     (member ?V2 ?C))))))	Mid-level-ontology.kif 21814-21826	instance Physical and Convoy Entity Entity and TimePosition equal Entity and Entity instance Entity and Vehicle instance Entity and Vehicle instance TimePosition and TimeInterval temporalPart TimePosition and WhenFn Physical holdsDuring TimePosition and member Entity and Physical member Entity and Physical
(=>     (instance ?D Disappearing)     (exists (?OBJ ?AGENT ?SEARCH ?TIME)         (and             (instance ?SEARCH Searching)             (earlier                 (WhenFn ?D)                 (WhenFn ?SEARCH))             (agent ?SEARCH ?AGENT)             (instance ?OBJ Object)             (patient ?D ?OBJ)             (patient ?SEARCH ?OBJ)             (instance ?TIME TimeInterval)             (temporalPart ?TIME                 (WhenFn ?SEARCH))             (holdsDuring ?TIME                 (not                     (modalAttribute                         (exists (?DISC)                             (and                                 (instance ?DISC Discovering)                                 (agent ?DISC ?AGENT)                                 (patient ?DISC ?OBJ))) Possibility))))))	Mid-level-ontology.kif 16764-16786	instance Process and Disappearing Entity Agent, Process and TimePosition instance Process and Searching earlier WhenFn Process and WhenFn Process agent Process and Agent instance Entity and Object patient Process and Entity patient Process and Entity instance TimePosition and TimeInterval temporalPart TimePosition and WhenFn Process holdsDuring TimePosition and modalAttribute ProcessISC instance ProcessISC and Discovering agent ProcessISC and Agent patient ProcessISC and Entity and Possibility
(=>     (instance ?INTERVAL TimeInterval)     (exists (?POINT)         (and             (instance ?POINT TimePoint)             (temporalPart ?POINT ?INTERVAL))))	Merge.kif 7857-7862	instance TimePosition and TimeInterval TimePosition instance TimePosition and TimePoint temporalPart TimePosition and TimePosition
(=>     (instance ?O OlympicGames)     (or         (exists (?W)             (and                 (instance ?W WinterSeason)                 (temporalPart                     (WhenFn ?O) ?W)))         (exists (?S)             (and                 (instance ?S SummerSeason)                 (temporalPart                     (WhenFn ?O) ?S)))))	Sports.kif 1268-1278	instance Physical and OlympicGames TimePosition instance TimePosition and WinterSeason temporalPart WhenFn Physical and TimePosition TimePosition instance TimePosition and SummerSeason temporalPart WhenFn Physical and TimePosition
(=>     (instance ?PART BodyPart)     (exists (?ORGANISM ?TIME)         (and             (instance ?ORGANISM Organism)             (temporalPart ?TIME                 (WhenFn ?ORGANISM))             (holdsDuring ?TIME                 (component ?PART ?ORGANISM)))))	Merge.kif 14691-14697	instance Entity and BodyPart Physical TimePosition instance Physical and Organism temporalPart TimePosition and WhenFn Physical holdsDuring TimePosition and component Entity and Physical
(=>     (instance ?POINT TimePoint)     (exists (?INTERVAL)         (and             (instance ?INTERVAL TimeInterval)             (temporalPart ?POINT ?INTERVAL))))	Merge.kif 7850-7855	instance TimePosition and TimePoint TimePosition instance TimePosition and TimeInterval temporalPart TimePosition and TimePosition
(=>     (instance ?S Scar)     (exists (?T ?OP ?L)         (and             (temporalPart ?T                 (PastFn                     (WhenFn ?S)))             (holdsDuring ?T                 (instance ?L Lesion))             (instance ?OP OrganOrTissueProcess)             (patient ?OP ?L)             (result ?OP ?S))))	Mid-level-ontology.kif 9008-9018	instance Physical and Scar TimePosition Process and Entity temporalPart TimePosition and PastFn WhenFn Physical holdsDuring TimePosition and instance Entity and Lesion instance Process and OrganOrTissueProcess patient Process and Entity result Process and Physical
(=>     (meetsTemporally ?T1 ?T2)     (not         (exists (?T3)             (and                 (instance ?T3 TimeInterval)                 (temporalPart ?T3 ?T1)                 (temporalPart ?T3 ?T2)))))	Merge.kif 8253-8260	meetsTemporally TimeInterval and TimeInterval TimePosition instance TimePosition and TimeInterval temporalPart TimePosition and TimeInterval temporalPart TimePosition and TimeInterval
(=>     (overlapsTemporally ?INTERVAL1 ?INTERVAL2)     (exists (?INTERVAL3)         (and             (instance ?INTERVAL3 TimeInterval)             (temporalPart ?INTERVAL3 ?INTERVAL1)             (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 8144-8150	overlapsTemporally TimeInterval and TimeInterval TimePosition instance TimePosition and TimeInterval temporalPart TimePosition and TimeInterval temporalPart TimePosition and TimeInterval
(=>     (overlapsTemporally ?INTERVAL1 ?INTERVAL2)     (exists (?INTERVAL3)         (and             (instance ?INTERVAL3 TimePosition)             (temporalPart ?INTERVAL3 ?INTERVAL1)             (temporalPart ?INTERVAL3 ?INTERVAL2))))	Merge.kif 8198-8204	overlapsTemporally TimeInterval and TimeInterval TimePosition instance TimePosition and TimePosition temporalPart TimePosition and TimeInterval temporalPart TimePosition and TimeInterval
(=>     (subProcess ?SUBPROC ?PROC)     (temporalPart         (WhenFn ?SUBPROC)         (WhenFn ?PROC)))	Merge.kif 10030-10032	subProcess Process and Process temporalPart WhenFn Process and WhenFn Process
(=>     (time ?THING ?POS)     (temporalPart ?POS         (WhenFn ?THING)))	Merge.kif 7884-7887	time Physical and TimePosition temporalPart TimePosition and WhenFn Physical
(=>     (typicalTemporalPart ?PART ?WHOLE)     (exists (?X ?Y)         (and             (instance ?X ?WHOLE)             (instance ?Y ?PART)             (temporalPart ?Y ?X))))	Cars.kif 1445-1451	typicalTemporalPart Process and Process TimePosition TimePosition instance TimePosition and Process instance TimePosition and Process temporalPart TimePosition and TimePosition
(=>     (typicallyContainsTemporalPart ?PART ?WHOLE)     (exists (?X ?Y)         (and             (instance ?X ?WHOLE)             (instance ?Y ?PART)             (temporalPart ?Y ?X))))	Cars.kif 1485-1491	typicallyContainsTemporalPart Process and Process TimePosition TimePosition instance TimePosition and Process instance TimePosition and Process temporalPart TimePosition and TimePosition

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