Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Object
Object(object)
acantha, accessory, add-on, adulterator, agent, air_mass, alluvial_deposit, alluvial_sediment, alluvion, alluvium, antimatter, appendage, appendicle, appurtenance, archeological_remains, arm, assay, attachment, backup, ballast, barreled, barrelled, base, basic, bed, bezel, bight, bit, block, blockage, bodily, bond, border, bottom, branch, building_block, burden, bushing, catch, cell, chip, clog, closed_universe, closure, coast, coffee_grounds, communication, composition, computer_backup, conjunction...

appearance as argument number 1
-------------------------


s__subclass(s__Object,s__Physical)

 Merge.kif 838-838 Object is a subclass of physical
s__documentation(s__Object, s__EnglishLanguage, "Corresponds roughly to the class of ordinary objects_ Examples include normal physical objects, geographical regions, and locations of Processes, the complement of Objects in the Physical class_ In a 4D ontology, an Object is something whose spatiotemporal extent is thought of as dividing into spatial parts roughly parallel to the time_axis_") Merge.kif 839-844 Object is a subclass of physical
s__externalImage(s__Object,"http:
//upload.wikimedia.org/wikipedia/en/thumb/e/ee/Elaborate_wood_box_Tom_Tanaka.JPG/180px_Elaborate_wood_box_Tom_Tanaka.JPG")

 pictureList.kif 1204-1204 Object is a subclass of physical

appearance as argument number 2
-------------------------


s__subclass(s__SelfConnectedObject,s__Object)

 Merge.kif 854-854 Self connected object is a subclass of object
s__subclass(s__Region,s__Object)

 Merge.kif 1324-1324 Region is a subclass of object
s__subclass(s__AutonomousAgent,s__Object)

 Merge.kif 1651-1651 Agent is a subclass of object
s__rangeSubclass(s__AttrFn,s__Object)

 Merge.kif 1867-1867 The values returned by attr are subclasses of object
s__range(s__MereologicalSumFn,s__Object)

 Merge.kif 10015-10015 The range of mereological sum is an instance of object
s__range(s__MereologicalProductFn,s__Object)

 Merge.kif 10037-10037 The range of mereological product is an instance of object
s__range(s__MereologicalDifferenceFn,s__Object)

 Merge.kif 10058-10058 The range of mereological difference is an instance of object
s__range(s__HoleHostFn,s__Object)

 Merge.kif 10154-10154 The range of hole host is an instance of object
s__range(s__HoleSkinFn,s__Object)

 Merge.kif 10295-10295 The range of hole skin is an instance of object
s__subclass(s__AstronomicalBody,s__Object)

 Merge.kif 14331-14331 Astronomical body is a subclass of object
s__subclass(s__Artifact,s__Object)

 Merge.kif 15966-15966 Artifact is a subclass of object
s__subclass(s__ContactSite,s__Object)

 Merge.kif 16061-16061 Contact site is a subclass of object
s__rangeSubclass(s__MakingFn,s__Object)

 Merge.kif 18720-18720 The values returned by Making fn are subclasses of object
s__subclass(s__TwoDimensionalObject,s__Object)

 Mid-level-ontology.kif 5420-5420 Two dimensional object is a subclass of object
s__subclass(s__TransitwayObstacle,s__Object)

 Mid-level-ontology.kif 16825-16825 Transitway obstacle is a subclass of object
s__subclass(s__SphericalObject,s__Object)

 Mid-level-ontology.kif 27890-27890 Spherical object is a subclass of object
s__range(s__LineFn,s__Object)

 Mid-level-ontology.kif 28166-28166 The range of line is an instance of object
s__subclass(s__Magnet,s__Object)

 Cars.kif 3735-3735 Magnet is a subclass of object
s__rangeSubclass(s__OrganicObjectFn,s__Object)

 Economy.kif 5599-5599 The values returned by organic object fn are subclasses of object
s__subclass(s__Shrapnel,s__Object)

 MilitaryDevices.kif 2249-2249 Shrapnel is a subclass of object
s__subclass(s__TornadoDamage,s__Object)

 Weather.kif 3335-3335 Tornado damage is a subclass of object
s__termFormat(s__EnglishLanguage, s__Object, "object") english_format.kif 832-832 Tornado damage is a subclass of object

appearance as argument number 3
-------------------------


s__domain(s__part,n__1,s__Object)

 Merge.kif 924-924 The number 1 argument of part is an instance of object
s__domain(s__part,n__2,s__Object)

 Merge.kif 925-925 The number 2 argument of part is an instance of object
s__domain(s__properPart,n__1,s__Object)

 Merge.kif 936-936 The number 1 argument of proper part is an instance of object
s__domain(s__properPart,n__2,s__Object)

 Merge.kif 937-937 The number 2 argument of proper part is an instance of object
s__domain(s__properlyFills,n__1,s__Object)

 Merge.kif 1010-1010 The number 1 argument of properly fills is an instance of object
s__domain(s__contains,n__2,s__Object)

 Merge.kif 1093-1093 The number 2 argument of contains is an instance of object
s__domain(s__attribute,n__1,s__Object)

 Merge.kif 1812-1812 The number 1 argument of attribute is an instance of object
s__domainSubclass(s__AttrFn,n__1,s__Object)

 Merge.kif 1868-1868 The number 1 argument of attr is a subclass of object
s__domain(s__instrument,n__2,s__Object)

 Merge.kif 2580-2580 The number 2 argument of instrument is an instance of object
s__domain(s__origin,n__2,s__Object)

 Merge.kif 2591-2591 The number 2 argument of origin is an instance of object
s__domain(s__resource,n__2,s__Object)

 Merge.kif 2620-2620 The number 2 argument of resource is an instance of object
s__domain(s__resourceExhausted,n__2,s__Object)

 Merge.kif 2639-2639 The number 2 argument of resource exhausted is an instance of object
s__domain(s__copy,n__1,s__Object)

 Merge.kif 3951-3951 The number 1 argument of copy is an instance of object
s__domain(s__copy,n__2,s__Object)

 Merge.kif 3952-3952 The number 2 argument of copy is an instance of object
s__domain(s__capability,n__3,s__Object)

 Merge.kif 4006-4006 The number 3 argument of capability is an instance of object
s__domain(s__exploits,n__1,s__Object)

 Merge.kif 4033-4033 The number 1 argument of exploits is an instance of object
s__domain(s__overlapsSpatially,n__1,s__Object)

 Merge.kif 4137-4137 The number 1 argument of overlap spatially is an instance of object
s__domain(s__overlapsSpatially,n__2,s__Object)

 Merge.kif 4138-4138 The number 2 argument of overlap spatially is an instance of object
s__domain(s__partlyLocated,n__2,s__Object)

 Merge.kif 4152-4152 The number 2 argument of partly located is an instance of object
s__domain(s__located,n__2,s__Object)

 Merge.kif 4182-4182 The number 2 argument of located is an instance of object
s__domain(s__eventPartlyLocated,n__2,s__Object)

 Merge.kif 4203-4203 The number 2 argument of event partly located is an instance of object
s__domain(s__eventLocated,n__2,s__Object)

 Merge.kif 4227-4227 The number 2 argument of event located is an instance of object
s__domain(s__exactlyLocated,n__2,s__Object)

 Merge.kif 4244-4244 The number 2 argument of exactly located is an instance of object
s__domain(s__between,n__1,s__Object)

 Merge.kif 4262-4262 The number 1 argument of between is an instance of object
s__domain(s__between,n__2,s__Object)

 Merge.kif 4263-4263 The number 2 argument of between is an instance of object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent
-------------------------


! [V__O] :
((s__instance(V__O,s__Object) =>
     s__capability(s__Translocation,s__origin,V__O))
)

 Merge.kif 846-848 If X is an instance of object, then X is capable of doing translocation as a origin
! [V__O] :
((s__instance(V__O,s__Object) =>
     s__capability(s__Translocation,s__destination,V__O))
)

 Merge.kif 850-852 If X is an instance of object, then X is capable of doing translocation as a destination
! [V__AGENT : $i,V__OBJ : $i] : (((s__wants(V__AGENT, V__OBJ) & s__instance(V__OBJ, s__Object)) => s__desires(V__AGENT, s__possesses(V__AGENT, V__OBJ)))) Merge.kif 2886-2891 If X wants Y and Y is an instance of object, then X desires X possesses Y
! [V__OBJ2,V__OBJ1] :
((s__instance(V__OBJ2,s__Object) =>
     ((s__instance(V__OBJ1,s__Object) &
         s__partlyLocated(V__OBJ1,V__OBJ2))
     =>
     s__overlapsSpatially(V__OBJ1,V__OBJ2)))
)

 Merge.kif 4161-4165 If X is an instance of object and X is partly located in Y, then X and Y overlapsSpatially
! [V__OBJ2,V__OBJ1] :
((s__instance(V__OBJ2,s__Object) =>
     ((s__instance(V__OBJ1,s__Object) &
         s__partlyLocated(V__OBJ1,V__OBJ2))
     =>
     (? [V__SUB] :
       ((s__instance(V__SUB,s__Object) &
           (s__part(V__SUB,V__OBJ1)
           &
           s__located(V__SUB,V__OBJ2)))))))
)

 Merge.kif 4167-4174 If X is an instance of object and X is partly located in Y, then there exists Z such that Z is a part of X and Z is located at Y
! [V__OBJ] :
((s__instance(V__OBJ,s__Object) =>
     (? [V__TIME1,V__TIME2] :
       ((s__instance(V__TIME1,s__TimePoint) &
           s__instance(V__TIME2,s__TimePoint) &
           s__before(V__TIME1,V__TIME2)
         &
         (! [V__TIME] :
           ((s__instance(V__TIME,s__TimePoint) =>
               ((s__beforeOrEqual(V__TIME1,V__TIME)
                 &
                 s__beforeOrEqual(V__TIME,V__TIME2))
             =>
             s__time(V__OBJ,V__TIME)))))))))
)

 Merge.kif 8312-8324 If X is an instance of object, then there exist Y, Z such that Y is an instance of time point, Z is an instance of time point, Y happens before Z, W Y happens before, at W, and W happens before, or at ZX exists during W
! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Transfer) =>
     ((s__instance(s__passenger,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__passenger(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__LegalAction) =>
     ((s__instance(s__plaintiff,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__plaintiff(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ChemicalProcess) =>
     ((s__instance(s__catalyst,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__catalyst(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__LegalAction) =>
     ((s__instance(s__evidence,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__evidence(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Game) =>
     ((s__instance(s__plays,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__plays(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Shipping) =>
     ((s__instance(s__cargo,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__cargo(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Game) =>
     ((s__instance(s__referee,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__referee(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Motion) =>
     ((s__instance(s__moves,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__moves(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ServiceProcess) =>
     ((s__instance(s__serviceProvider,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__serviceProvider(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__AchievingControl) =>
     ((s__instance(s__gainsControl,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__gainsControl(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__result,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__result(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__origin,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__origin(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__FinancialTransaction) =>
     ((s__instance(s__broker,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__broker(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__objectAttached,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__objectAttached(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__instrument,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__instrument(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__LegalAction) =>
     ((s__instance(s__defendant,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__defendant(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Rotating) =>
     ((s__instance(s__lever,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__lever(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ComputerProcess) =>
     ((s__instance(s__standardOutputDevice,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__standardOutputDevice(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Attack) =>
     ((s__instance(s__target,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__target(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__LegalAction) =>
     ((s__instance(s__prosecutor,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__prosecutor(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Experimenting) =>
     ((s__instance(s__experimenter,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__experimenter(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ViralCellInvasion) =>
     ((s__instance(s__invadingVirus,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__invadingVirus(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__agent,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__agent(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__suffers,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__suffers(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ChemicalProcess) =>
     ((s__instance(s__reactant,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__reactant(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ComputerProcess) =>
     ((s__instance(s__standardErrorDevice,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__standardErrorDevice(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__resourceConsumption,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__resourceConsumption(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__PlacingUnderArrest) =>
     ((s__instance(s__arrested,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__arrested(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__AchievingControl) =>
     ((s__instance(s__controlled,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__controlled(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Bidding) =>
     ((s__instance(s__amountOfBid,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__amountOfBid(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__judge,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__judge(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ComputerProcess) =>
     ((s__instance(s__resourceUsed,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__resourceUsed(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Motion) =>
     ((s__instance(s__path,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__path(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ComputerProcess) =>
     ((s__instance(s__accountUsed,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__accountUsed(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__eventPartlyLocated,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__eventPartlyLocated(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__LegalAction) =>
     ((s__instance(s__attorney,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__attorney(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__eventLocated,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__eventLocated(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__targetInAttack,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__targetInAttack(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__patient,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__patient(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ComputerProcess) =>
     ((s__instance(s__standardInputDevice,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__standardInputDevice(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Experimenting) =>
     ((s__instance(s__experimentalSubject,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__experimentalSubject(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__PlacingUnderArrest) =>
     ((s__instance(s__arrestingOfficer,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__arrestingOfficer(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ComputerProcess) =>
     ((s__instance(s__dataProcessed,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__dataProcessed(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__experiencer,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__experiencer(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__destination,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__destination(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ComputerProcess) =>
     ((s__instance(s__computerRunning,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__computerRunning(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__LegalAction) =>
     ((s__instance(s__defenseLawyer,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__defenseLawyer(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__CriminalAction) =>
     ((s__instance(s__perpetrator,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__perpetrator(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Transportation) =>
     ((s__instance(s__transported,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__transported(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__resource,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__resource(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ServiceProcess) =>
     ((s__instance(s__serviceRecipient,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__serviceRecipient(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Contest) =>
     ((s__instance(s__contestParticipant,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__contestParticipant(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Experimenting) =>
     ((s__instance(s__experimentalControl,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__experimentalControl(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ChangeOfControl) =>
     ((s__instance(s__losesControl,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__losesControl(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Transportation) =>
     ((s__instance(s__conveyance,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__conveyance(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Transfer) =>
     ((s__instance(s__objectTransferred,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__objectTransferred(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__CriminalAction) =>
     ((s__instance(s__victim,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__victim(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ChemicalProcess) =>
     ((s__instance(s__reagent,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__reagent(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__LegalAction) =>
     ((s__instance(s__witness,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__witness(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Translocation) =>
     ((s__instance(s__changesLocation,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__changesLocation(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Detaching) =>
     ((s__instance(s__objectDetached,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__objectDetached(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__FinancialTransaction) =>
     ((s__instance(s__eCommerceSite,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__eCommerceSite(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Rotating) =>
     ((s__instance(s__rotationalAxis,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__rotationalAxis(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Process) =>
     ((s__instance(s__resourceExhausted,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__resourceExhausted(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Demonstrating) =>
     ((s__instance(s__attends,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__attends(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Rotating) =>
     ((s__instance(s__fulcrum,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__fulcrum(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__ServiceProcess) =>
     ((s__instance(s__serviceInstrument,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__serviceInstrument(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

! [V__PROCESS,V__OBJ] :
((s__instance(V__PROCESS,s__Confining) =>
     ((s__instance(s__detainee,s__CaseRole) &
         s__instance(V__OBJ,s__Object) &
         s__detainee(V__PROCESS,V__OBJ))
     =>
     (? [V__TIME] :
       ((s__instance(V__TIME,s__TimePoint) &
           s__overlapsSpatially(s__WhereFn(V__PROCESS,V__TIME)
        ,V__OBJ))))))
)

 Merge.kif 9826-9832 If X is an instance of case role, Y is an instance of object, and X Z and Y, then there exists W such that the place where Z was at W and Y overlapsSpatially
! [V__OBJ] :
((s__instance(V__OBJ,s__Object) =>
     (s__attribute(V__OBJ,s__Monochromatic) |
       s__attribute(V__OBJ,s__Polychromatic)))
   )

 Merge.kif 18056-18060 If X is an instance of object, then monochromatic is an attribute of X or polychromatic is an attribute of X
! [V__OBJ] :
(((s__instance(V__OBJ,s__Object) &
       s__attribute(V__OBJ,s__Pliable))
     =>
     (? [V__CHANGE] :
       ((s__instance(V__CHANGE,s__ShapeChange) &
           s__patient(V__CHANGE,V__OBJ)))))
)

 Merge.kif 18103-18110 If X is an instance of object and pliable is an attribute of X, then there exists Y such that Y is an instance of shape change and X is a patient of Y
! [V__L1,V__L2] :
(((s__instance(V__L1,s__Object) &
       s__attribute(V__L1,s__LongAndThin) &
       s__instance(V__L2,s__Object) &
       s__attribute(V__L2,s__LongAndThin) &
       s__connected(V__L1,V__L2)
     &
     ~((V__L1 = V__L2)))
   =>
   (? [V__M] :
     ((s__instance(V__M,s__RealNumber) &
         s__relativeAngle(V__L1,V__L2,V__M)))))
)

 Mid-level-ontology.kif 3418-3428 If All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y, then there exists Z such that the relative angle between X and Y is Z
! [V__OBJ : $i,V__SALE : $i] : (((s__instance(V__SALE, s__BargainSale) & s__patient(V__SALE, V__OBJ) & s__instance(V__OBJ, s__Object)) => ( ? [V__PRICE1:$real, V__PRICE2:$real, V__AGENT1:$i, V__AGENT2:$i, V__U:$i] : ((s__instance(V__U, s__UnitOfCurrency) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__SALE)), s__price(V__OBJ, s__MeasureFn(V__PRICE1, V__U), V__AGENT1)) & s__holdsDuring(s__WhenFn(V__SALE), s__price(V__OBJ, s__MeasureFn(V__PRICE2, V__U), V__AGENT2)) & ($less(V__PRICE2,V__PRICE1))))))) Mid-level-ontology.kif 9169-9183 If X is an instance of bargain sale, Y is a patient of X, and Y is an instance of object, then there exist Z, W,, , V,, , U and T such that T is an instance of unit of currency and Y is price Z T(s) for V holds during immediately before the time of existence of X and Y is price W T(s) for U holds during the time of existence of X and W is less than Z
! [V__A : $i,V__O : $i,V__R : $i] : (((s__instance(V__R, s__CentrifugalMotion) & s__instance(V__O, s__Object) & s__moves(V__R, V__O) & s__instance(V__A, s__Object) & s__located(V__A, V__O)) => s__modalAttribute(( ? [V__M:$i] : ((s__instance(V__M, s__MovingAwayFrom) & s__changesLocation(V__M, V__A) & s__origin(V__M, V__O) & s__causes(V__R, V__M)))), s__Likely))) Mid-level-ontology.kif 19414-19427 If X is an instance of centrifugal motion, Y is an instance of object, Y moves during X, Z is an instance of object, and Z is located at Y, then the statement there exists W such that W is an instance of moving away from, Z is a changes location of W, W originates at Y, and X causes W has the modal force of likely
! [V__CUT : $i,V__OBJ : $i,V__SAW : $i] : (((s__instance(V__SAW, s__Saw) & s__instance(V__CUT, s__Cutting) & s__instrument(V__CUT, V__SAW) & s__instance(V__OBJ, s__Object) & s__patient(V__CUT, V__OBJ)) => ( ? [V__MOTION:$i, V__DIR1:$i, V__DIR2:$i, V__TIME:$i, V__T1:$i, V__T2:$i, V__PART:$i] : ((s__instance(V__MOTION, s__Motion) & s__subProcess(V__MOTION, V__CUT) & s__instance(V__PART, s__CuttingDevice) & s__part(V__PART, V__SAW) & s__meetsSpatially(V__PART, V__OBJ) & s__patient(V__MOTION, V__PART) & s__instance(V__T2, s__TimeInterval) & s__instance(V__T2, s__TimeInterval) & s__WhenFn(V__MOTION) = V__TIME & s__temporalPart(V__TIME, V__T1) & s__temporalPart(V__TIME, V__T2) & s__instance(V__DIR1, s__DirectionalAttribute) & s__instance(V__DIR2, s__DirectionalAttribute) & (s__holdsDuring(V__T1, s__direction(V__MOTION, V__DIR1)) => s__holdsDuring(V__T2, (s__direction(V__MOTION, V__DIR2) & (V__DIR1 = V__DIR2 | s__oppositeDirection(V__DIR1, V__DIR2)) & ~((V__DIR1 = V__DIR2 & s__oppositeDirection(V__DIR1, V__DIR2))))))))))) Mid-level-ontology.kif 20084-20118 If X is an instance of saw, Y is an instance of cutting, X is an instrument for Y, Z is an instance of object, and Z is a patient of Y, then there exist W, V,, , U,, , T,, , S,, , R and Q such that W is an instance of motion and W is a subprocess of Y and Q is an instance of cutting device and Q is a part of X and Q meets Z and Q is a patient of W and R is an instance of timeframe and R is an instance of timeframe and equal the time of existence of W and T and T is a part of S and T is a part of R and V is an instance of directional attribute and U is an instance of directional attribute and entities in the process W are moving V holds during Sentities in the process W are moving U and equal V and U or U is an opposite direction of V and ~{ equal V and U } or ~{ U is an opposite direction of V } holds during R
! [V__HEIR : $i,V__INHERIT : $i,V__PERSON : $i,V__PROPERTY : $i] : (((s__instance(V__INHERIT, s__Inheriting) & s__agent(V__INHERIT, V__HEIR) & s__instance(V__HEIR, s__Human) & s__origin(V__INHERIT, V__PERSON) & s__instance(V__PERSON, s__Human) & s__patient(V__INHERIT, V__PROPERTY) & s__instance(V__PROPERTY, s__Object)) => ( ? [V__DEATH:$i] : ((s__instance(V__DEATH, s__Death) & s__experiencer(V__DEATH, V__PERSON) & s__earlier(s__WhenFn(V__DEATH), s__WhenFn(V__INHERIT)) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__DEATH)), s__possesses(V__PERSON, V__PROPERTY)) & s__confersRight(V__PERSON, V__HEIR, s__possesses(V__HEIR, V__PROPERTY))))))) Mid-level-ontology.kif 20540-20561 If All of the following hold: (1) X is an instance of inheriting (2) Y is an agent of X (3) Y is an instance of human (4) X originates at Z (5) Z is an instance of human (6) W is a patient of X (7) W is an instance of object, then there exists V such that V is an instance of death, Z experiences V, the time of existence of V happens earlier than the time of existence of X, Z possesses W holds during immediately before the time of existence of V, and Y allows Y possesses W to perform task of the type Z
! [V__O : $i,V__OPEN : $i] : (((s__instance(V__O, s__Object) & s__instance(V__OPEN, s__Opening) & s__patient(V__OPEN, V__O)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__OPEN)), s__attribute(V__O, s__Open)))) Mid-level-ontology.kif 23710-23716 If X is an instance of object, Y is an instance of opening, and X is a patient of Y, then open is an attribute of X holds during immediately after the time of existence of Y
! [V__H : $i,V__O : $i,V__T : $i] : (((s__instance(V__O, s__Object) & V__O = s__HoleHostFn(V__H) & s__holdsDuring(V__T, s__attribute(V__O, s__Open))) => s__holdsDuring(V__T, s__modalAttribute(( ? [V__MOVE:$i, V__THING:$i] : ((s__instance(V__MOVE, s__Transfer) & s__objectTransferred(V__MOVE, V__THING) & s__destination(V__MOVE, V__H)))), s__Possibility)))) Mid-level-ontology.kif 23743-23756 If X is an instance of object, equal X and the host of the hole Y, and open is an attribute of X holds during Z, then the statement there exist W, V such that W is an instance of transfer, the object transferred in W is V, and W ends up at Y has the modal force of possibility holds during Z
! [V__C : $i,V__O : $i] : (((s__instance(V__O, s__Object) & s__instance(V__C, s__Closing) & s__patient(V__C, V__O)) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__C)), s__attribute(V__O, s__Closed)))) Mid-level-ontology.kif 23762-23768 If X is an instance of object, Y is an instance of closing, and X is a patient of Y, then closed is an attribute of X holds during immediately after the time of existence of Y
! [V__B,V__CUT,V__OBJ] :
(((s__instance(V__B,s__Blade) &
       s__instance(V__CUT,s__Cutting) &
       s__instance(V__OBJ,s__Object) &
       s__instrument(V__CUT,V__B)
     &
     s__patient(V__CUT,V__OBJ))
=>
s__meetsSpatially(V__B,V__OBJ))
)

 Mid-level-ontology.kif 24309-24316 If X is an instance of blade, Y is an instance of cutting, Z is an instance of object, X is an instrument for Y, and Z is a patient of Y, then X meets Z
! [V__EVENT,V__OBJ] :
(((s__referee(V__EVENT,V__OBJ)
     &
     s__instance(s__referee,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__referee,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__broker(V__EVENT,V__OBJ)
     &
     s__instance(s__broker,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__broker,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__experimenter(V__EVENT,V__OBJ)
     &
     s__instance(s__experimenter,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__experimenter,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__serviceInstrument(V__EVENT,V__OBJ)
     &
     s__instance(s__serviceInstrument,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__serviceInstrument,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__resourceExhausted(V__EVENT,V__OBJ)
     &
     s__instance(s__resourceExhausted,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__resourceExhausted,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__judge(V__EVENT,V__OBJ)
     &
     s__instance(s__judge,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__judge,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__lever(V__EVENT,V__OBJ)
     &
     s__instance(s__lever,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__lever,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__gainsControl(V__EVENT,V__OBJ)
     &
     s__instance(s__gainsControl,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__gainsControl,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__catalyst(V__EVENT,V__OBJ)
     &
     s__instance(s__catalyst,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__catalyst,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__computerRunning(V__EVENT,V__OBJ)
     &
     s__instance(s__computerRunning,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__computerRunning,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__patient(V__EVENT,V__OBJ)
     &
     s__instance(s__patient,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__patient,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__transported(V__EVENT,V__OBJ)
     &
     s__instance(s__transported,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__transported,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__arrestingOfficer(V__EVENT,V__OBJ)
     &
     s__instance(s__arrestingOfficer,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__arrestingOfficer,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__accountUsed(V__EVENT,V__OBJ)
     &
     s__instance(s__accountUsed,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__accountUsed,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__reactant(V__EVENT,V__OBJ)
     &
     s__instance(s__reactant,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__reactant,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__plaintiff(V__EVENT,V__OBJ)
     &
     s__instance(s__plaintiff,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__plaintiff,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__objectAttached(V__EVENT,V__OBJ)
     &
     s__instance(s__objectAttached,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__objectAttached,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__amountOfBid(V__EVENT,V__OBJ)
     &
     s__instance(s__amountOfBid,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__amountOfBid,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__experimentalControl(V__EVENT,V__OBJ)
     &
     s__instance(s__experimentalControl,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__experimentalControl,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__target(V__EVENT,V__OBJ)
     &
     s__instance(s__target,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__target,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__eCommerceSite(V__EVENT,V__OBJ)
     &
     s__instance(s__eCommerceSite,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__eCommerceSite,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__path(V__EVENT,V__OBJ)
     &
     s__instance(s__path,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__path,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__resourceUsed(V__EVENT,V__OBJ)
     &
     s__instance(s__resourceUsed,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__resourceUsed,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__standardInputDevice(V__EVENT,V__OBJ)
     &
     s__instance(s__standardInputDevice,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__standardInputDevice,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__objectDetached(V__EVENT,V__OBJ)
     &
     s__instance(s__objectDetached,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__objectDetached,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__detainee(V__EVENT,V__OBJ)
     &
     s__instance(s__detainee,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__detainee,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__origin(V__EVENT,V__OBJ)
     &
     s__instance(s__origin,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__origin,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__defendant(V__EVENT,V__OBJ)
     &
     s__instance(s__defendant,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__defendant,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__resourceConsumption(V__EVENT,V__OBJ)
     &
     s__instance(s__resourceConsumption,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__resourceConsumption,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__experiencer(V__EVENT,V__OBJ)
     &
     s__instance(s__experiencer,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__experiencer,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__objectTransferred(V__EVENT,V__OBJ)
     &
     s__instance(s__objectTransferred,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__objectTransferred,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__invadingVirus(V__EVENT,V__OBJ)
     &
     s__instance(s__invadingVirus,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__invadingVirus,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__suffers(V__EVENT,V__OBJ)
     &
     s__instance(s__suffers,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__suffers,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__result(V__EVENT,V__OBJ)
     &
     s__instance(s__result,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__result,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__experimentalSubject(V__EVENT,V__OBJ)
     &
     s__instance(s__experimentalSubject,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__experimentalSubject,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__targetInAttack(V__EVENT,V__OBJ)
     &
     s__instance(s__targetInAttack,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__targetInAttack,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__perpetrator(V__EVENT,V__OBJ)
     &
     s__instance(s__perpetrator,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__perpetrator,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__standardOutputDevice(V__EVENT,V__OBJ)
     &
     s__instance(s__standardOutputDevice,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__standardOutputDevice,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__plays(V__EVENT,V__OBJ)
     &
     s__instance(s__plays,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__plays,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__instrument(V__EVENT,V__OBJ)
     &
     s__instance(s__instrument,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__instrument,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__defenseLawyer(V__EVENT,V__OBJ)
     &
     s__instance(s__defenseLawyer,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__defenseLawyer,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__arrested(V__EVENT,V__OBJ)
     &
     s__instance(s__arrested,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__arrested,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__contestParticipant(V__EVENT,V__OBJ)
     &
     s__instance(s__contestParticipant,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__contestParticipant,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__eventPartlyLocated(V__EVENT,V__OBJ)
     &
     s__instance(s__eventPartlyLocated,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__eventPartlyLocated,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__cargo(V__EVENT,V__OBJ)
     &
     s__instance(s__cargo,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__cargo,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__conveyance(V__EVENT,V__OBJ)
     &
     s__instance(s__conveyance,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__conveyance,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__changesLocation(V__EVENT,V__OBJ)
     &
     s__instance(s__changesLocation,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__changesLocation,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__eventLocated(V__EVENT,V__OBJ)
     &
     s__instance(s__eventLocated,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__eventLocated,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__attends(V__EVENT,V__OBJ)
     &
     s__instance(s__attends,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__attends,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__fulcrum(V__EVENT,V__OBJ)
     &
     s__instance(s__fulcrum,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__fulcrum,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__serviceRecipient(V__EVENT,V__OBJ)
     &
     s__instance(s__serviceRecipient,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__serviceRecipient,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__witness(V__EVENT,V__OBJ)
     &
     s__instance(s__witness,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__witness,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__destination(V__EVENT,V__OBJ)
     &
     s__instance(s__destination,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__destination,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__agent(V__EVENT,V__OBJ)
     &
     s__instance(s__agent,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__agent,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__controlled(V__EVENT,V__OBJ)
     &
     s__instance(s__controlled,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__controlled,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__evidence(V__EVENT,V__OBJ)
     &
     s__instance(s__evidence,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__evidence,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__serviceProvider(V__EVENT,V__OBJ)
     &
     s__instance(s__serviceProvider,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__serviceProvider,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__resource(V__EVENT,V__OBJ)
     &
     s__instance(s__resource,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__resource,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__attorney(V__EVENT,V__OBJ)
     &
     s__instance(s__attorney,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__attorney,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__rotationalAxis(V__EVENT,V__OBJ)
     &
     s__instance(s__rotationalAxis,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__rotationalAxis,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__prosecutor(V__EVENT,V__OBJ)
     &
     s__instance(s__prosecutor,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__prosecutor,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__moves(V__EVENT,V__OBJ)
     &
     s__instance(s__moves,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__moves,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__standardErrorDevice(V__EVENT,V__OBJ)
     &
     s__instance(s__standardErrorDevice,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__standardErrorDevice,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__reagent(V__EVENT,V__OBJ)
     &
     s__instance(s__reagent,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__reagent,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__losesControl(V__EVENT,V__OBJ)
     &
     s__instance(s__losesControl,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__losesControl,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__victim(V__EVENT,V__OBJ)
     &
     s__instance(s__victim,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__victim,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__passenger(V__EVENT,V__OBJ)
     &
     s__instance(s__passenger,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__passenger,V__EVENT))
)

! [V__EVENT,V__OBJ] :
(((s__dataProcessed(V__EVENT,V__OBJ)
     &
     s__instance(s__dataProcessed,s__CaseRole) &
     s__instance(V__EVENT,s__Process) &
     s__instance(V__OBJ,s__Object))
   =>
   s__playsRoleInEvent(V__OBJ,s__dataProcessed,V__EVENT))
)

 Mid-level-ontology.kif 25570-25576 If X Y and Z, X is an instance of case role, Y is an instance of process, and Z is an instance of object, then Z plays role in event X for Y
! [V__X,V__Y] :
(((s__attribute(V__X,V__Y)
     &
     s__instance(V__Y,s__TemperatureAttribute) &
     s__instance(V__X,s__Object))
   =>
   (? [V__TEMP] :
     ((s__measure(V__X,V__TEMP)
       &
       s__instance(V__TEMP,s__TemperatureMeasure) &
       s__attribute(V__TEMP,V__Y)))))
)

 Mid-level-ontology.kif 28255-28264 If X is an attribute of Y, X is an instance of temperature attribute, and Y is an instance of object, then there exists Z such that the measure of Y is Z, Z is an instance of temperature measure, and X is an attribute of Z
! [V__MAF : $i,V__REFERENCEOBJECT : $i,V__RELATIVEOBJECT : $i] : (((s__instance(V__MAF, s__MovingAwayFrom) & s__instance(V__RELATIVEOBJECT, s__Object) & s__instance(V__REFERENCEOBJECT, s__Object) & s__patient(V__MAF, V__RELATIVEOBJECT) & s__patient(V__MAF, V__REFERENCEOBJECT)) => ( ? [V__BEFOREDISTANCE:$real, V__AFTERDISTANCE:$real, V__U:$i] : ((s__moves(V__MAF, V__RELATIVEOBJECT) & s__holdsDuring(s__BeginFn(s__WhenFn(V__MAF)), s__distance(V__RELATIVEOBJECT, V__REFERENCEOBJECT, s__MeasureFn(V__BEFOREDISTANCE, V__U))) & s__holdsDuring(s__EndFn(s__WhenFn(V__MAF)), s__distance(V__RELATIVEOBJECT, V__REFERENCEOBJECT, s__MeasureFn(V__AFTERDISTANCE, V__U))) & ($greater(V__AFTERDISTANCE,V__BEFOREDISTANCE))))))) Mid-level-ontology.kif 34214-34234 If X is an instance of moving away from, Y is an instance of object, Z is an instance of object, Y is a patient of X, and Z is a patient of X, then there exist W, V and U such that W is an instance of real number and V is an instance of real number and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and V is greater than W
! [V__MT : $i,V__REFERENCEOBJECT : $i,V__RELATIVEOBJECT : $i] : (((s__instance(V__MT, s__MovingTowards) & s__instance(V__RELATIVEOBJECT, s__Object) & s__instance(V__REFERENCEOBJECT, s__Object) & s__patient(V__MT, V__REFERENCEOBJECT) & s__patient(V__MT, V__RELATIVEOBJECT)) => ( ? [V__BEFOREDISTANCE:$real, V__AFTERDISTANCE:$real, V__U:$i] : ((s__instance(V__U, s__UnitOfLength) & s__moves(V__MT, V__RELATIVEOBJECT) & s__holdsDuring(s__BeginFn(s__WhenFn(V__MT)), s__distance(V__RELATIVEOBJECT, V__REFERENCEOBJECT, s__MeasureFn(V__BEFOREDISTANCE, V__U))) & s__holdsDuring(s__EndFn(s__WhenFn(V__MT)), s__distance(V__RELATIVEOBJECT, V__REFERENCEOBJECT, s__MeasureFn(V__AFTERDISTANCE, V__U))) & ($greater(V__BEFOREDISTANCE,V__AFTERDISTANCE))))))) Mid-level-ontology.kif 34241-34262 If X is an instance of moving towards, Y is an instance of object, Z is an instance of object, Z is a patient of X, and Y is a patient of X, then there exist W, V and U such that W is an instance of real number and V is an instance of real number and U is an instance of unit of length and Y moves during X and the distance between Y and Z is W U(s) holds during the beginning of the time of existence of X and the distance between Y and Z is V U(s) holds during the end of the time of existence of X and W is greater than V
! [V__AGENT,V__CATALOG,V__CLASS,V__PROCESSINST,V__PROCESS,V__OBJ] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__CATALOG,s__Catalog) &
       s__instance(V__CLASS,s__Class) &
       s__instance(V__PROCESSINST,s__Process) &
       s__instance(V__PROCESS,s__Class) &
       s__subclass(V__PROCESS,s__Process))
     =>
     ((s__offers(V__AGENT,V__CATALOG)
       &
       s__catalogItem(V__CLASS,V__CATALOG)
     &
     s__subclass(V__CLASS,s__Object) &
     s__instance(V__PROCESSINST,V__PROCESS)
   &
   s__subclass(V__PROCESS,s__Process) &
   s__instance(V__OBJ,V__CLASS)
&
s__patient(V__PROCESSINST,V__OBJ))
=>
s__capability(V__PROCESS,s__agent,V__AGENT)))
)

 Catalog.kif 98-107 If All of the following hold: (1) X offers items for sale in Y (2) Z is in Y (3) Z is a subclass of object (4) W is an instance of V (5) V is a subclass of process (6) U is an instance of Z (7) U is a patient of W, then X is capable of doing V as a agent
! [V__AGENT,V__CATALOG,V__TIMEINT,V__CLASS,V__PROCESSINSTANCE,V__PROCESS,V__TIME,V__OBJ] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__CATALOG,s__Catalog) &
       s__instance(V__TIMEINT,s__TimeInterval) &
       s__instance(V__CLASS,s__Class) &
       s__instance(V__PROCESSINSTANCE,s__Process) &
       s__instance(V__PROCESS,s__Class) &
       s__subclass(V__PROCESS,s__Process) &
       s__instance(V__TIME,s__Class) &
       s__subclass(V__TIME,s__TimeInterval))
     =>
     ((s__offersAtTime(V__AGENT,V__CATALOG,V__TIMEINT)
       &
       s__catalogItem(V__CLASS,V__CATALOG)
     &
     s__subclass(V__CLASS,s__Object) &
     s__instance(V__PROCESSINSTANCE,V__PROCESS)
   &
   s__subclass(V__PROCESS,s__Process) &
   s__instance(V__OBJ,V__CLASS)
&
s__patient(V__PROCESSINSTANCE,V__OBJ)
&
s__instance(V__TIMEINT,V__TIME)
&
s__subclass(V__TIME,s__TimeInterval))
=>
s__capabilityDuring(V__PROCESS,s__agent,V__AGENT,V__TIME)))
)

 Catalog.kif 139-150 If All of the following hold: (1) X offers items for sale in Y during Z (2) W is in Y (3) W is a subclass of object (4) V is an instance of U (5) U is a subclass of process (6) T is an instance of W (7) T is a patient of V (8) Z is an instance of S (9) S is a subclass of timeframe, then X is capable of being a agent in U during S
! [V__P,V__ORG] :
(((s__instance(V__P,s__Class) &
       s__subclass(V__P,s__Object) &
       s__instance(V__ORG,s__Class) &
       s__subclass(V__ORG,s__OrganicObject))
     =>
     (((V__P = s__OrganicObjectFn(V__ORG))
       &
       s__subclass(V__P,s__Object))
     =>
     (s__subclass(V__ORG,s__Organism) |
       s__subclass(V__ORG,s__AnatomicalStructure))))
)

 Economy.kif 5607-5614 If equal X and Object made from Y and X is a subclass of object, then Y is a subclass of organism or Y is a subclass of anatomical structure

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


! [V__COLL] :
((s__instance(V__COLL,s__CollectionOfObjects) =>
     s__memberType(V__COLL,s__Object))
   )

 Merge.kif 1382-1384 If X is an instance of collection, then object is a member type of X
! [V__C] :
((s__instance(V__C,s__Consuming) =>
     (? [V__O,V__D] :
       ((s__patient(V__C,V__O)
         &
         s__instance(V__O,s__Object) &
         s__resource(V__C,V__O)
       &
       s__subProcess(V__D,V__C)
     &
     s__instance(V__D,s__Decreasing) &
     s__patient(V__D,V__O)
   &
   s__causes(V__C,V__D)))))
)

 Merge.kif 10487-10497 If X is an instance of consuming, then All of the following hold: (1) there exist Y (2) Z such that Y is a patient of X (3) Y is an instance of object (4) Y is a resource for X (5) Z is a subprocess of X (6) Z is an instance of decreasing (7) Y is a patient of Z (8) X causes Z
! [V__EVENT,V__OBJ] :
(((s__instance(V__EVENT,s__Translocation) &
       s__instance(V__OBJ,s__AutonomousAgent))
     =>
     (s__changesLocation(V__EVENT,V__OBJ)
     =>
     (s__instance(V__EVENT,s__Translocation) &
       s__instance(V__OBJ,s__Object) &
       (s__patient(V__EVENT,V__OBJ)
       |
       s__agent(V__EVENT,V__OBJ)
     |
     s__experiencer(V__EVENT,V__OBJ)))))
)

 Merge.kif 11255-11263 If X is a changes location of Y, then Y is an instance of translocation, X is an instance of object, and At least one of the following holds: (1) X is a patient of Y (2) X is an agent of Y (3) X experiences Y
! [V__MOTION] :
((s__instance(V__MOTION,s__Motion) =>
     (? [V__OBJ] :
       ((s__instance(V__OBJ,s__Object) &
           s__moves(V__MOTION,V__OBJ)))))
)

 Merge.kif 11270-11275 If X is an instance of motion, then there exists Y such that Y is an instance of object and Y moves during X
! [V__T] :
((s__instance(V__T,s__Translocation) =>
     (? [V__O,V__D,V__P] :
       ((s__instance(V__O,s__Object) &
           s__instance(V__D,s__Object) &
           s__instance(V__P,s__Object) &
           s__path(V__T,V__P)
         &
         s__origin(V__T,V__O)
       &
       s__destination(V__T,V__D)))))
)

 Merge.kif 11845-11854 If X is an instance of translocation, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of object (3) Z is an instance of object (4) W is an instance of object (5) W is path along which X occurs (6) X originates at Y (7) X ends up at Z
! [V__PURSUE] :
((s__instance(V__PURSUE,s__Pursuing) =>
     (? [V__OBJ] :
       ((s__instance(V__OBJ,s__Object) &
           s__patient(V__PURSUE,V__OBJ)))))
)

 Merge.kif 13168-13173 If X is an instance of pursuing, then there exists Y such that Y is an instance of object and Y is a patient of X
! [V__S : $i] : ((s__instance(V__S, s__Searching) => ( ? [V__AGENT:$i, V__OBJ:$i, V__LOC:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__OBJ, s__Physical) & s__patient(V__S, V__OBJ) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, V__AGENT, s__knows(V__AGENT, s__located(V__OBJ, V__LOC)))))))) Merge.kif 13268-13280 If X is an instance of searching, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Y is an agent of X (4) Z is an instance of physical (5) Z is a patient of X (6) W is an instance of object (7) Z is located at W (8) X has the purpose Y for Y knows Z is located at W
! [V__OBJ : $i,V__S : $i] : (((s__instance(V__S, s__Searching) & s__patient(V__S, V__OBJ) & s__instance(V__OBJ, s__Physical)) => ( ? [V__LOC:$i, V__AGENT:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, V__AGENT, s__knows(V__AGENT, s__located(V__OBJ, V__LOC)))))))) Merge.kif 13282-13295 If X is an instance of searching, Y is a patient of X, and Y is an instance of physical, then there exist Z, W such that W is an instance of cognitive agent, W is an agent of X, Z is an instance of object, Y is located at Z, and X has the purpose W for W knows Y is located at Z
! [V__VM : $i] : ((s__instance(V__VM, s__VendingMachine) => s__hasPurpose(V__VM, ( ? [V__H:$i, V__O:$i, V__V:$i] : ((s__instance(V__V, s__Vending) & s__instance(V__H, s__Human) & s__instance(V__O, s__Object) & s__objectTransferred(V__V, V__O) & s__instrument(V__V, V__VM) & s__origin(V__V, V__VM) & ~(s__instance(V__O, s__Currency)) & s__destination(V__V, V__H))))))) Mid-level-ontology.kif 2534-2547 If X is an instance of vending machine, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that W is an instance of vending (3) Y is an instance of human (4) Z is an instance of object (5) the object transferred in W is Z (6) X is an instrument for W (7) W originates at X (8) Z is not an instance of currency (9) W ends up at Y
! [V__X] :
((s__instance(V__X,s__Object) =>
     (s__attribute(V__X,s__Locked) =>
       s__instance(V__X,s__Object)))
   )

 Mid-level-ontology.kif 3316-3318 If locked is an attribute of X, then X is an instance of object
! [V__L1,V__L2,V__M] :
(((s__instance(V__L1,s__Object) &
       s__instance(V__L2,s__Object) &
       s__instance(V__M,s__RealNumber))
     =>
     (s__relativeAngle(V__L1,V__L2,V__M)
     =>
     (s__instance(V__L1,s__Object) &
       s__attribute(V__L1,s__LongAndThin) &
       s__instance(V__L2,s__Object) &
       s__attribute(V__L2,s__LongAndThin) &
       s__connected(V__L1,V__L2)
     &
     ~((V__L1 = V__L2)))))
)

 Mid-level-ontology.kif 3430-3439 If the relative angle between X and Y is Z, then All of the following hold: (1) X is an instance of object (2) long and thin is an attribute of X (3) Y is an instance of object (4) long and thin is an attribute of Y (5) X is connected to Y (6) equal X and Y
! [V__PD : $i] : ((s__instance(V__PD, s__PaintingDevice) => s__hasPurpose(V__PD, ( ? [V__STUFF:$i, V__COVER:$i, V__SURF:$i, V__OBJ:$i] : ((s__instance(V__STUFF, s__Substance) & s__instance(V__COVER, s__Covering) & s__instance(V__OBJ, s__Object) & s__surface(V__SURF, V__OBJ) & s__agent(V__COVER, V__PD) & s__instrument(V__COVER, V__STUFF) & s__patient(V__COVER, V__SURF))))))) Mid-level-ontology.kif 3874-3885 If X is an instance of painting device, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of substance (3) Z is an instance of covering (4) V is an instance of object (5) W is a surface of V (6) X is an agent of Z (7) Y is an instrument for Z (8) W is a patient of Z
! [V__X] :
((s__instance(V__X,s__Sculpting) =>
     (? [V__SC,V__OBJ] :
       ((s__instance(V__OBJ,s__Object) &
           s__patient(V__X,V__OBJ)
         &
         s__instance(V__SC,s__ShapeChange) &
         s__subProcess(V__SC,V__X)
       &
       s__patient(V__SC,V__OBJ)))))
)

 Mid-level-ontology.kif 3892-3900 If X is an instance of sculpting, then there exist Y, Z such that Z is an instance of object, Z is a patient of X, Y is an instance of shape change, Y is a subprocess of X, and Z is a patient of Y
! [V__BAG : $i] : ((s__instance(V__BAG, s__Bag) => s__hasPurpose(V__BAG, ( ? [V__T:$i, V__OBJ:$i] : ((s__instance(V__T, s__Transfer) & s__instance(V__OBJ, s__Object) & s__contains(V__BAG, V__OBJ) & s__instrument(V__T, V__BAG) & s__patient(V__T, V__OBJ))))))) Mid-level-ontology.kif 5072-5081 If X is an instance of bag, then X has the purpose there exist Y, Z such that Y is an instance of transfer, Z is an instance of object, X contains Z, X is an instrument for Y, and Z is a patient of Y
! [V__C : $i,V__H : $i] : (((s__instance(V__C, s__Coughing) & s__experiencer(V__C, V__H)) => s__hasPurpose(V__C, ( ? [V__R:$i, V__L:$i, V__O:$i, V__T:$i] : ((s__instance(V__L, s__Lung) & s__instance(V__T, s__Throat) & s__instance(V__O, s__Object) & s__instance(V__R, s__Removing) & s__part(V__L, V__H) & s__part(V__T, V__H) & s__objectTransferred(V__R, V__O) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__C)), (s__located(V__O, V__T) | s__located(V__O, V__L))))))))) Mid-level-ontology.kif 7175-7194 If X is an instance of coughing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of lung (3) U is an instance of throat (4) V is an instance of object (5) Z is an instance of removing (6) W is a part of Y (7) U is a part of Y (8) the object transferred in Z is V (9) V is located at U or V is located at W holds during immediately before the time of existence of X
! [V__C : $i,V__H : $i] : (((s__instance(V__C, s__Sneezing) & s__experiencer(V__C, V__H)) => s__hasPurpose(V__C, ( ? [V__R:$i, V__N:$i, V__NOSE:$i, V__O:$i] : ((s__instance(V__N, s__NasalCavity) & s__instance(V__NOSE, s__Nose) & V__NOSE = s__HoleHostFn(V__N) & s__instance(V__O, s__Object) & s__instance(V__R, s__Removing) & s__part(V__NOSE, V__H) & s__objectTransferred(V__R, V__O) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__C)), s__located(V__O, V__N)))))))) Mid-level-ontology.kif 7241-7259 If X is an instance of sneezing and Y experiences X, then All of the following hold: (1) X has the purpose there exist Z, W,, , V (2) U such that W is an instance of nasal cavity (3) V is an instance of nose (4) equal V (5) the host of the hole W (6) U is an instance of object (7) Z is an instance of removing (8) V is a part of Y (9) the object transferred in Z is U (10) U is located at W holds during immediately before the time of existence of X
! [V__R : $i] : ((s__instance(V__R, s__PositionReport) => s__containsFormula(V__R, ( ? [V__O:$i, V__A:$i] : ((s__instance(V__O, s__Object) & s__instance(V__A, s__Region) & s__holdsDuring(s__WhenFn(V__R), s__located(V__O, V__A)))))))) Mid-level-ontology.kif 7874-7882 If X is an instance of position report, then X contains the formula there exist Y, Z such that Y is an instance of object, Z is an instance of region, and Y is located at Z holds during the time of existence of X
! [V__C : $i,V__H : $i] : (((s__instance(V__C, s__Choking) & s__experiencer(V__C, V__H)) => ( ? [V__O:$i, V__T:$i, V__L:$i] : ((s__instance(V__O, s__Object) & s__instance(V__T, s__Trachea) & s__instance(V__L, s__Lung) & s__part(V__T, V__H) & s__part(V__L, V__H) & s__holdsDuring(s__WhenFn(V__C), (s__located(V__O, V__T) | s__located(V__O, V__L)))))))) Mid-level-ontology.kif 13254-13269 If X is an instance of choking and Y experiences X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of object (3) W is an instance of trachea (4) V is an instance of lung (5) W is a part of Y (6) V is a part of Y (7) Z is located at W or Z is located at V holds during the time of existence of X
! [V__D : $i] : ((s__instance(V__D, s__Disappearing) => ( ? [V__OBJ:$i, V__AGENT:$i, V__SEARCH:$i, V__TIME:$i] : ((s__instance(V__SEARCH, s__Searching) & s__earlier(s__WhenFn(V__D), s__WhenFn(V__SEARCH)) & s__agent(V__SEARCH, V__AGENT) & s__instance(V__OBJ, s__Object) & s__patient(V__D, V__OBJ) & s__patient(V__SEARCH, V__OBJ) & s__instance(V__TIME, s__TimeInterval) & s__temporalPart(V__TIME, s__WhenFn(V__SEARCH)) & s__holdsDuring(V__TIME, ~(s__modalAttribute(( ? [V__DISC:$i] : ((s__instance(V__DISC, s__Discovering) & s__agent(V__DISC, V__AGENT) & s__patient(V__DISC, V__OBJ)))), s__Possibility)))))))) Mid-level-ontology.kif 19162-19184 If X is an instance of disappearing, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of searching (3) the time of existence of X happens earlier than the time of existence of W (4) Z is an agent of W (5) Y is an instance of object (6) Y is a patient of X (7) Y is a patient of W (8) V is an instance of timeframe (9) V is a part of the time of existence of W (10) the statement there doesn't exist U such that U is an instance of discovering (11) Z is an agent of U (12) Y is a patient of U doesn't have the modal force of possibility holds during V
! [V__X : $i] : ((s__instance(V__X, s__Protecting) => s__hasPurpose(V__X, ( ? [V__OBJ:$i, V__T:$i, V__H:$i, V__HARM:$i] : ((s__instance(V__OBJ, s__Object) & s__patient(V__X, s__Object) & s__subclass(V__HARM, s__KappaFn(V__H, ((s__instance(V__H, s__CriminalAction) | s__instance(V__H, s__Damaging)) & (s__holdsDuring(V__T, s__patient(V__H, V__OBJ)) => ~(s__holdsDuring(V__T, s__patient(V__X, V__OBJ))))))) & (s__prevents(V__X, V__HARM) | s__hinders(V__X, V__HARM)))))))) Mid-level-ontology.kif 20326-20347 If X is an instance of protecting, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of object, object is a patient of X, V is a subclass of the class described by W, and X prevents the occurrence of V or X hinders V
! [V__A] :
((s__instance(V__A,s__Awarding) =>
     (? [V__RECIPIENT,V__GIVER,V__PROCESS,V__AWARD] :
       ((s__instance(V__RECIPIENT,s__AutonomousAgent) &
           s__instance(V__GIVER,s__AutonomousAgent) &
           s__instance(V__PROCESS,s__Process) &
           s__instance(V__AWARD,s__Object) &
           s__agent(V__PROCESS,V__RECIPIENT)
         &
         s__agent(V__A,V__GIVER)
       &
       s__patient(V__A,V__AWARD)
     &
     s__destination(V__A,V__RECIPIENT)
   &
   s__causes(V__PROCESS,V__A)))))
)

 Mid-level-ontology.kif 20567-20579 If X is an instance of awarding, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of agent (3) Z is an instance of agent (4) W is an instance of process (5) V is an instance of object (6) Y is an agent of W (7) Z is an agent of X (8) V is a patient of X (9) X ends up at Y (10) W causes X
! [V__X,V__ATTR] :
((s__instance(V__X,s__Object) =>
     ((s__attribute(V__X,V__ATTR)
       &
       s__instance(V__ATTR,s__SizeAttribute))
     =>
     s__instance(V__X,s__Object)))
)

 Mid-level-ontology.kif 27625-27629 If X is an attribute of Y and X is an instance of size attribute, then Y is an instance of object
! [V__X] :
((s__instance(V__X,s__Object) =>
     (s__attribute(V__X,s__Clean) =>
       s__instance(V__X,s__Object)))
   )

 Mid-level-ontology.kif 27867-27869 If clean is an attribute of X, then X is an instance of object
! [V__X] :
((s__instance(V__X,s__Object) =>
     (s__attribute(V__X,s__Dirty) =>
       s__instance(V__X,s__Object)))
   )

 Mid-level-ontology.kif 27871-27873 If dirty is an attribute of X, then X is an instance of object
! [V__X] :
((s__instance(V__X,s__Object) =>
     (s__attribute(V__X,s__HandicappedFriendly) =>
       s__instance(V__X,s__Object)))
   )

 Mid-level-ontology.kif 28748-28750 If handicapped friendly is an attribute of X, then X is an instance of object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners