Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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__documentation(s__Object,s__ChineseLanguage,'"这可粗略地对应为一般物体。例子包括 正常物理对象、地理区域和 Process 的位置,在 Physical 类别 Object 的补充。 在四维本体论上, Object 的时空范畴可大致划分为与时间轴平行的空间间隔。"')

chinese_format.kif 1552-1554
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 813-818
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 1205-1205
s__instance(s__Object,s__Class)

s__instance(s__Physical,s__Class)

s__subclass(s__Object,s__Physical)

Merge.kif 812-812 Object is a subclass of physical

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


s__partition__3(s__Physical,s__Object,s__Process)

Merge.kif 799-799 Physical is exhaustively partitioned into object and process
s__range(s__HoleHostFn__m,s__Object)

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

Merge.kif 9689-9689 The range of hole skin is an instance of object
s__range(s__LineFn__m,s__Object)

ComputingBrands.kif 2595-2595 The range of line is an instance of object
s__range(s__MereologicalDifferenceFn__m,s__Object)

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

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

Merge.kif 9394-9394 The range of mereological sum is an instance of object
s__rangeSubclass(s__MakingFn__m,s__Object)

Merge.kif 17655-17655 The values returned by MakingFn are subclasses of object
s__instance(s__Object,s__Class)

s__instance(s__Agent,s__Class)

s__subclass(s__Agent,s__Object)

Merge.kif 1471-1471 Agent is a subclass of object
s__subclass(s__Artifact,s__Object)

s__instance(s__Object,s__Class)

s__instance(s__Artifact,s__Class)

Merge.kif 15027-15027 Artifact is a subclass of object
s__subclass(s__AstronomicalBody,s__Object)

s__instance(s__Object,s__Class)

s__instance(s__AstronomicalBody,s__Class)

Merge.kif 13396-13396 Astronomical body is a subclass of object
s__instance(s__Collection,s__Class)

s__instance(s__Object,s__Class)

s__subclass(s__Collection,s__Object)

Merge.kif 1188-1188 Collection is a subclass of object
s__subclass(s__ContactSite,s__Object)

s__instance(s__Object,s__Class)

s__instance(s__ContactSite,s__Class)

Mid-level-ontology.kif 23760-23760 ContactSite is a subclass of object
s__subclass(s__Magnet,s__Object)

s__instance(s__Object,s__Class)

s__instance(s__Magnet,s__Class)

Cars.kif 3869-3869 Magnet is a subclass of object
s__instance(s__Object,s__Class)

s__instance(s__PreparedFood,s__Class)

s__subclass(s__PreparedFood,s__Object)

Mid-level-ontology.kif 20690-20690 Prepared food is a subclass of object
s__subclass(s__Region,s__Object)

s__instance(s__Object,s__Class)

s__instance(s__Region,s__Class)

Merge.kif 1173-1173 Region is a subclass of object
s__instance(s__SelfConnectedObject,s__Class)

s__subclass(s__SelfConnectedObject,s__Object)

s__instance(s__Object,s__Class)

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

s__instance(s__Object,s__Class)

s__instance(s__SphericalObject,s__Class)

Mid-level-ontology.kif 24833-24833 SphericalObject is a subclass of object
s__subclass(s__TornadoDamage,s__Object)

s__instance(s__TornadoDamage,s__Class)

s__instance(s__Object,s__Class)

Weather.kif 2061-2061 Tornado damage is a subclass of object
s__instance(s__Object,s__Class)

s__instance(s__TransitwayObstacle,s__Class)

s__subclass(s__TransitwayObstacle,s__Object)

Mid-level-ontology.kif 14549-14549 Transitway obstacle is a subclass of object
s__instance(s__TwoDimensionalObject,s__Class)

s__instance(s__Object,s__Class)

s__subclass(s__TwoDimensionalObject,s__Object)

Mid-level-ontology.kif 4514-4514 Two dimensional object is a subclass of object
s__termFormat(s__ChineseLanguage,s__Object,'"客体"')

chinese_format.kif 815-815
s__termFormat(s__EnglishLanguage,s__Object,'"object"')

english_format.kif 832-832

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


s__domain(s__AccelerationFn__m,n__3,s__Object)

Cars.kif 1276-1276 The number 3 argument of AccelerationFn is an instance of object
s__domain(s__LineFn__m,n__1,s__Object)

ComputingBrands.kif 2593-2593 The number 1 argument of line is an instance of object
s__domain(s__LineFn__m,n__2,s__Object)

ComputingBrands.kif 2594-2594 The number 2 argument of line is an instance of object
s__domain(s__MereologicalDifferenceFn__m,n__1,s__Object)

Merge.kif 9435-9435 The number 1 argument of mereological difference is an instance of object
s__domain(s__MereologicalDifferenceFn__m,n__2,s__Object)

Merge.kif 9436-9436 The number 2 argument of mereological difference is an instance of object
s__domain(s__MereologicalProductFn__m,n__1,s__Object)

Merge.kif 9414-9414 The number 1 argument of mereological product is an instance of object
s__domain(s__MereologicalProductFn__m,n__2,s__Object)

Merge.kif 9415-9415 The number 2 argument of mereological product is an instance of object
s__domain(s__MereologicalSumFn__m,n__1,s__Object)

Merge.kif 9392-9392 The number 1 argument of mereological sum is an instance of object
s__domain(s__MereologicalSumFn__m,n__2,s__Object)

Merge.kif 9393-9393 The number 2 argument of mereological sum is an instance of object
s__domain(s__absorbedDose__m,n__1,s__Object)

MilitaryProcesses.kif 870-870 The number 1 argument of absorbed dose is an instance of object
s__domain(s__adjacentOrientation__m,n__1,s__Object)

Hotel.kif 914-914 The number 1 argument of adjacent orientation is an instance of object
s__domain(s__advertisedOn__m,n__1,s__Object)

UXExperimentalTerms.kif 238-238 The number 1 argument of advertised on is an instance of object
s__domain(s__airTemperature__m,n__1,s__Object)

Mid-level-ontology.kif 24895-24895 The number 1 argument of air temperature is an instance of object
s__domain(s__allowableValue__m,n__1,s__Object)

Mid-level-ontology.kif 30584-30584 The number 1 argument of allowableValue is an instance of object
s__domain(s__anthem__m,n__2,s__Object)

Music.kif 355-355 The number 2 argument of anthem is an instance of object
s__domain(s__applicableRelation__m,n__1,s__Object)

Mid-level-ontology.kif 30597-30597 The number 1 argument of applicableRelation is an instance of object
s__domain(s__askPrice__m,n__1,s__Object)

FinancialOntology.kif 1896-1896 The number 1 argument of ask price is an instance of object
s__domain(s__attribute__m,n__1,s__Object)

Merge.kif 1663-1663 The number 1 argument of attribute is an instance of object
s__domain(s__axis__m,n__1,s__Object)

Mid-level-ontology.kif 16737-16737 The number 1 argument of axis is an instance of object
s__domain(s__axis__m,n__2,s__Object)

Mid-level-ontology.kif 16738-16738 The number 2 argument of axis is an instance of object
s__domain(s__barometricPressure__m,n__1,s__Object)

Merge.kif 7594-7594 The number 1 argument of barometric pressure is an instance of object
s__domain(s__beforeOnPath__m,n__1,s__Object)

Mid-level-ontology.kif 29012-29012 The number 1 argument of beforeOnPath is an instance of object
s__domain(s__beforeOnPath__m,n__2,s__Object)

Mid-level-ontology.kif 29013-29013 The number 2 argument of beforeOnPath is an instance of object
s__domain(s__beforeOnPath__m,n__3,s__Object)

Mid-level-ontology.kif 29014-29014 The number 3 argument of beforeOnPath is an instance of object
s__domain(s__between__m,n__1,s__Object)

Merge.kif 4049-4049 The number 1 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__OBJ,V__EVENT] :
   (((s__arrestingOfficer(V__EVENT,V__OBJ)
       &
       s__instance(s__arrestingOfficer__m,s__CaseRole) &
       s__instance(V__EVENT,s__Process) &
       s__instance(V__OBJ,s__Object))
     =>
     (s__playsRoleInEvent(V__OBJ,s__arrestingOfficer__m,V__EVENT)))
)
)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

( ! [V__OBJ,V__EVENT] :
   (((s__subclass(V__OBJ,s__Agent) &
         s__subclass(V__EVENT,s__Process))
       =>
       (((s__typicalAction(V__EVENT,V__OBJ)
           &
           s__instance(s__typicalAction__m,s__CaseRole) &
           s__instance(V__EVENT,s__Process) &
           s__instance(V__OBJ,s__Object))
         =>
         (s__playsRoleInEvent(V__OBJ,s__typicalAction__m,V__EVENT)))))
)
)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

( ! [V__OBJ,V__EVENT] :
   ((s__subclass(V__OBJ,s__IntentionalProcess) =>
       (((s__enjoys(V__EVENT,V__OBJ)
           &
           s__instance(s__enjoys__m,s__CaseRole) &
           s__instance(V__EVENT,s__Process) &
           s__instance(V__OBJ,s__Object))
         =>
         (s__playsRoleInEvent(V__OBJ,s__enjoys__m,V__EVENT)))))
)
)

Mid-level-ontology.kif 22529-22535
( ! [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 24909-24918
No TPTP formula. May not be expressible in strict first order. Hotel.kif 484-500
( ! [V__AGENT,V__R,V__CUST,V__X,V__RM,V__FR,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__subclass(V__FR,s__HotelFunctionRoom) &
         s__instance(V__FR,s__Class) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freeFunctionRoomAmenity(V__FR,V__PHYS)
           &
           s__instance(V__RM,V__FR)
         &
         s__element(V__RM,s__PropertyFn(V__AGENT))
     &
     s__instance(V__R,s__Renting) &
     s__patient(V__R,V__RM)
   &
   s__destination(V__R,V__CUST)
&
s__instance(V__X,V__PHYS)
&
s__possesses(V__AGENT,V__X)
&
s__customer(V__CUST,V__AGENT)
&
((s__instance(V__X,s__Process) &
(s__agent(V__X,V__CUST)
|
s__experiencer(V__X,V__CUST)))
|
(s__possesses(V__AGENT,V__X)
&
s__instance(V__X,s__Object) &
s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 820-841
( ! [V__AGENT,V__CUST,V__X,V__PHYS] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CUST,s__CognitiveAgent) &
         s__instance(V__PHYS,s__Class))
       =>
       (((s__freePropertyAmenity(V__AGENT,V__PHYS)
           &
           s__instance(V__X,V__PHYS)
         &
         s__customer(V__CUST,V__AGENT)
       &
       ((s__instance(V__X,s__Process) &
           (s__agent(V__X,V__CUST)
           |
           s__experiencer(V__X,V__CUST)))
     |
     (s__possesses(V__AGENT,V__X)
     &
     s__instance(V__X,s__Object) &
     s__uses(V__CUST,V__X))))
=>
(s__price(V__X,s__MeasureFn(n__0,s__UnitedStatesDollar),V__AGENT)))))
)
)

Hotel.kif 526-541
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] :
   (((s__instance(V__O,s__Object) &
         s__instance(V__R,s__TemporaryResidence) &
         s__instance(V__ROOM,s__Class) &
         s__subclass(V__ROOM,s__HotelUnit) &
         s__instance(V__OBJ,s__Class) &
         s__instance(V__GUEST,s__Human) &
         s__instance(V__HOTEL,s__Agent))
       =>
       (((s__freeRoomAmenity(V__ROOM,V__OBJ)
           &
           s__subclass(V__OBJ,s__Object) &
           s__instance(V__R,V__ROOM)
         &
         s__stays(V__GUEST,V__R)
       &
       s__element(V__R,s__PropertyFn(V__HOTEL))
   &
   s__instance(V__O,V__OBJ)
&
s__located(V__O,V__R)
&
s__instance(V__P,s__Process) &
s__agent(V__P,V__GUEST)
&
(s__patient(V__P,V__O)
|
s__instrument(V__P,V__O)
|
s__resource(V__P,V__O)))
=>
(s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL)))))
)
)

Hotel.kif 334-349
No TPTP formula. May not be expressible in strict first order. Hotel.kif 790-811
No TPTP formula. May not be expressible in strict first order. Hotel.kif 289-308
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1523-1539
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1509-1521
( ! [V__OFFER1,V__U,V__OFFER2,V__ITEM,V__BIDDER2,V__BIDDER1,V__AUCTIONING] :
   (((s__instance(V__OFFER1,s__RealNumber) &
         s__instance(V__OFFER2,s__RealNumber))
       =>
       (((s__instance(V__AUCTIONING,s__Auctioning) &
             s__instance(V__BIDDER1,s__Agent) &
             s__instance(V__BIDDER2,s__Agent) &
             s__instance(V__ITEM,s__Object) &
             s__instance(V__U,s__UnitOfCurrency) &
             s__patient(V__AUCTIONING,V__ITEM)
           &
           s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER1,V__U)
        ,V__BIDDER1)
       &
       s__bidPrice(V__ITEM,s__MeasureFn(V__OFFER2,V__U)
    ,V__BIDDER2)
   &
   s__greaterThan(V__OFFER1,V__OFFER2))
=>
(s__destination(V__AUCTIONING,V__BIDDER1)))))
)
)

UXExperimentalTerms.kif 437-448
( ! [V__ITEM,V__AUCTIONING] :
   (((s__instance(V__AUCTIONING,s__Auctioning) &
         s__instance(V__ITEM,s__Object) &
         s__patient(V__AUCTIONING,V__ITEM))
     =>
     (( ? [V__BIDDER, V__OFFER] :
         ((s__instance(V__BIDDER,s__Agent) &
             s__instance(V__OFFER,s__CurrencyMeasure) &
             s__bidPrice(V__ITEM,V__OFFER,V__BIDDER))))))
)
)

UXExperimentalTerms.kif 426-435
( ! [V__B,V__OBJ,V__CUT] :
   (((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 21329-21336
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3447-3467
( ! [V__ITEM1,V__LISTING2,V__LISTING1,V__CATEG,V__ITEM2] :
   (((s__instance(V__CATEG,s__WebListingCategory) &
         s__instance(V__LISTING1,s__WebListing) &
         s__instance(V__LISTING2,s__WebListing) &
         s__instance(V__ITEM1,s__Object) &
         s__instance(V__ITEM2,s__Object) &
         s__member(V__LISTING1,V__CATEG)
       &
       s__member(V__LISTING2,V__CATEG)
     &
     s__patient(V__ITEM1,V__LISTING1)
   &
   s__patient(V__ITEM2,V__LISTING2))
=>
(( ? [V__CLASS] :
   ((s__instance(V__CLASS,s__Class) &
       s__instance(V__ITEM1,V__CLASS)
     &
     s__instance(V__ITEM2,V__CLASS))))))
)
)

UXExperimentalTerms.kif 182-197
( ! [V__ITEM,V__LISTING] :
   (((s__instance(V__ITEM,s__Object) &
         s__instance(V__LISTING,s__WebListing) &
         s__attribute(V__LISTING,s__ForSaleByOwner) &
         s__patient(V__LISTING,V__ITEM))
     =>
     (s__instance(V__ITEM,s__Vehicle)))
   )
)

UXExperimentalTerms.kif 464-470
( ! [V__OWNER,V__ITEM,V__LISTING] :
   (((s__instance(V__ITEM,s__Object) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__OWNER,s__Agent) &
         s__attribute(V__LISTING,s__ForSaleByOwner) &
         s__possesses(V__OWNER,V__ITEM))
     =>
     (s__instance(V__OWNER,s__Human)))
   )
)

UXExperimentalTerms.kif 472-479
( ! [V__OBJ,V__PROC,V__L] :
   ((s__instance(V__PROC,s__Process) =>
       (((s__instance(V__L,s__Lathe) &
             s__instance(V__OBJ,s__Object) &
             s__instrument(V__PROC,V__L)
           &
           s__patient(V__PROC,V__OBJ))
       =>
       (( ? [V__R] :
           ((s__instance(V__R,s__Rotating) &
               s__subProcess(V__PROC,V__R)
             &
             s__patient(V__R,V__OBJ)
           &
           s__agent(V__R,V__L))))))))
)
)

Economy.kif 4886-4897
( ! [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__PlaneAngleMeasure) &
             s__relativeAngle(V__L1,V__L2,V__M))))))
)
)

Merge.kif 17177-17187
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-405
( ! [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 17039-17046
( ! [V__OBJ1,V__OBJ2] :
   ((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 3958-3965
( ! [V__OBJ1,V__OBJ2] :
   ((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 3952-3956
( ! [V__DIST,V__TIME,V__PLACE,V__BLOW,V__DIRECTION] :
   (((s__instance(V__DIST,s__LengthMeasure) &
         s__instance(V__TIME,s__TimeDuration) &
         s__instance(V__DIRECTION,s__DirectionalAttribute))
       =>
       (((s__instance(V__PLACE,s__Object) &
             s__instance(V__BLOW,s__Wind) &
             s__measure(V__BLOW,s__VelocityFn(V__DIST,V__TIME,V__PLACE,V__DIRECTION)))
       =>
       (s__surfaceWindVelocity(V__PLACE,s__SpeedFn(V__DIST,V__TIME)
      ,V__DIRECTION)))))
)
)

Weather.kif 125-130
( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__judge__m,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__Process) =>
       (((s__instance(s__objectDetached__m,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__LegalAction) =>
       (((s__instance(s__attorney__m,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__Experimenting) =>
       (((s__instance(s__experimenter__m,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__Motion) =>
       (((s__instance(s__moves__m,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__CognitiveAgent) &
         s__subclass(V__OBJ,s__IntentionalProcess))
       =>
       (((s__instance(s__enjoys__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__enjoys(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__m,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__Process) =>
       (((s__instance(s__origin__m,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__Process) =>
       (((s__instance(s__objectAttached__m,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__CriminalAction) =>
       (((s__instance(s__victim__m,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__ChangeOfControl) =>
       (((s__instance(s__losesControl__m,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__ChemicalProcess) =>
       (((s__instance(s__catalyst__m,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__Experimenting) =>
       (((s__instance(s__experimentalSubject__m,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__Transfer) =>
       (((s__instance(s__objectTransferred__m,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__Game) =>
       (((s__instance(s__plays__m,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__LegalAction) =>
       (((s__instance(s__defenseLawyer__m,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__ServiceProcess) =>
       (((s__instance(s__serviceRecipient__m,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__PlacingUnderArrest) =>
       (((s__instance(s__arrested__m,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__Process) =>
       (((s__instance(s__eventPartlyLocated__m,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__CriminalAction) =>
       (((s__instance(s__perpetrator__m,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__ViralCellInvasion) =>
       (((s__instance(s__invadingVirus__m,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__Agent) =>
       (((s__instance(s__webVisitor__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__webVisitor(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__Physical) &
         s__subclass(V__PROCESS,s__Process) &
         s__subclass(V__OBJ,s__Agent))
       =>
       (((s__instance(s__typicalAction__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__typicalAction(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__m,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__Process) =>
       (((s__instance(s__resource__m,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__FinancialTransaction) =>
       (((s__instance(s__eCommerceSite__m,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__Experimenting) =>
       (((s__instance(s__experimentalControl__m,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__Transportation) =>
       (((s__instance(s__transported__m,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__Bidding) =>
       (((s__instance(s__objectOfBid__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__objectOfBid(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__direction__m,s__CaseRole) &
             s__instance(V__OBJ,s__Object) &
             s__direction(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__m,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__Process) =>
       (((s__instance(s__eventLocated__m,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__Contest) =>
       (((s__instance(s__contestParticipant__m,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__Process) =>
       (((s__instance(s__patient__m,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__standardErrorDevice__m,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__targetInAttack__m,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__ServiceProcess) =>
       (((s__instance(s__serviceProvider__m,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__Process) =>
       (((s__instance(s__resourceExhausted__m,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__Process) =>
       (((s__instance(s__instrument__m,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__plaintiff__m,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__Process) =>
       (((s__instance(s__result__m,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__LegalAction) =>
       (((s__instance(s__prosecutor__m,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__Transfer) =>
       (((s__instance(s__passenger__m,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__Confining) =>
       (((s__instance(s__detainee__m,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))))))))
)
)

( ! [V__PROCESS,V__OBJ] :
   ((s__instance(V__PROCESS,s__Process) =>
       (((s__instance(s__destination__m,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__Process) =>
       (((s__instance(s__experiencer__m,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__agent__m,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__AchievingControl) =>
       (((s__instance(s__controlled__m,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__LegalAction) =>
       (((s__instance(s__witness__m,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__ComputerProcess) =>
       (((s__instance(s__resourceUsed__m,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__ChemicalProcess) =>
       (((s__instance(s__reagent__m,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__ChemicalProcess) =>
       (((s__instance(s__reactant__m,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__LegalAction) =>
       (((s__instance(s__defendant__m,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__ComputerProcess) =>
       (((s__instance(s__standardOutputDevice__m,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__Shipping) =>
       (((s__instance(s__cargo__m,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__AchievingControl) =>
       (((s__instance(s__gainsControl__m,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__ComputerProcess) =>
       (((s__instance(s__computerRunning__m,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__Bidding) =>
       (((s__instance(s__amountOfBid__m,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__ComputerProcess) =>
       (((s__instance(s__standardInputDevice__m,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__Process) =>
       (((s__instance(s__suffers__m,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__FinancialTransaction) =>
       (((s__instance(s__broker__m,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__ComputerProcess) =>
       (((s__instance(s__accountUsed__m,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__Transportation) =>
       (((s__instance(s__conveyance__m,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__Motion) =>
       (((s__instance(s__path__m,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__dataProcessed__m,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__PlacingUnderArrest) =>
       (((s__instance(s__arrestingOfficer__m,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__Game) =>
       (((s__instance(s__referee__m,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))))))))
)
)

Merge.kif 9224-9230

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__ATTR,V__X] :
   ((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 24509-24513
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11107-11122
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5713-5732
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5779-5797
No TPTP formula. May not be expressible in strict first order. naics.kif 7953-7978
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__BuildingMaterialAndGardenEquipmentAndSuppliesDealers))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__Object) &
                   (s__capability(s__Constructing,s__resource__m,V__THING)
                   |
                   s__capability(s__Agriculture,s__resource__m,V__THING))
               &
               s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7242-7257
No TPTP formula. May not be expressible in strict first order. naics.kif 8736-8756
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__GeneralMerchandiseStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__P] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__P,s__Human) &
                   s__instance(V__THING,s__Object) &
                   s__destination(V__EV,V__P)
                 &
                 s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7702-7716
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__MiscellaneousManufacturing))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Manufacture) &
                     s__instance(V__THING,s__Object) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 6153-6169
( ! [V__P,V__ORG] :
   ((s__instance(V__P,s__Agent) =>
       (((s__instance(V__ORG,s__Organization) &
             s__attribute(V__ORG,s__MiscellaneousStoreRetailers))
           =>
           (( ? [V__EV, V__MEM, V__THING, V__ST] :
               ((s__instance(V__MEM,s__Physical) &
                   (s__member(V__MEM,V__ORG)
                   &
                   s__agent(V__EV,V__P)
                 &
                 s__instance(V__EV,s__Selling) &
                 s__instance(V__P,s__Human) &
                 s__instance(V__ST,s__RetailStore) &
                 s__eventLocated(V__EV,V__ST)
               &
               s__instance(V__THING,s__Object) &
               s__patient(V__EV,V__THING)))))))))
)
)

naics.kif 7752-7765
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__NonstoreRetailers))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__P] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__P,s__Human) &
                   s__instance(V__THING,s__Object) &
                   ~(s__eventLocated(V__EV,s__RetailStore))
                   &
                   s__destination(V__EV,V__P)
                 &
                 s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7877-7893
No TPTP formula. May not be expressible in strict first order. naics.kif 8707-8727
No TPTP formula. May not be expressible in strict first order. naics.kif 8034-8059
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__SportingGoodsHobbyBookAndMusicStores))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING] :
               ((s__instance(V__EV,s__Selling) &
                   s__instance(V__THING,s__Object) &
                   (s__capability(s__Sport,s__instrument__m,V__THING)
                   |
                   s__capability(s__MakingMusic,s__instrument__m,V__THING)
                 |
                 s__instance(V__THING,s__Book) |
                 s__instance(V__THING,s__MusicRecording) |
                 s__instance(V__THING,s__MusicText))
               &
               s__patient(V__EV,V__THING))))))))))
)
)

naics.kif 7600-7618
No TPTP formula. May not be expressible in strict first order. naics.kif 8253-8275
No TPTP formula. May not be expressible in strict first order. naics.kif 8776-8797
No TPTP formula. May not be expressible in strict first order. naics.kif 8080-8105
( ! [V__ORG] :
   (((s__instance(V__ORG,s__Organization) &
         s__attribute(V__ORG,s__WholesaleTrade))
       =>
       (( ? [V__EV, V__MEM] :
           ((s__instance(V__MEM,s__Process) &
               (s__member(V__MEM,V__ORG)
               &
               s__agent(V__MEM,V__EV)
             &
             ( ? [V__THING, V__MEM2, V__EV2] :
               ((s__instance(V__MEM2,s__Agent) &
                   (s__instance(V__EV,s__Selling) &
                     s__instance(V__THING,s__Object) &
                     s__patient(V__EV,V__THING)
                   &
                   s__member(V__MEM2,V__ORG)
                 &
                 s__instance(V__EV2,s__Selling) &
                 s__agent(V__EV2,V__MEM2)
               &
               s__patient(V__EV2,V__THING)))))))))))
)
)

naics.kif 6375-6391
( ! [V__PAGE,V__SITE] :
   (((s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__SITE,s__WebSite) &
         s__component(V__PAGE,V__SITE))
     =>
     (( ? [V__ITEM, V__ADVERTISING] :
         ((s__instance(V__ITEM,s__Object) &
             s__instance(V__ADVERTISING,s__WebListing) &
             s__component(V__ADVERTISING,V__PAGE)
           &
           s__hostedOn(V__ADVERTISING,V__SITE)
         &
         s__patient(V__ADVERTISING,V__ITEM))))))
)
)

UXExperimentalTerms.kif 2274-2285
( ! [V__REPAYMENT,V__REPAYMENT_ORIGIN,V__REPAYMENT_DESTINATION] :
   (((s__instance(V__REPAYMENT,s__Repayment) &
         s__instance(V__REPAYMENT_DESTINATION,s__Object) &
         s__destination(V__REPAYMENT,V__REPAYMENT_DESTINATION)
       &
       s__instance(V__REPAYMENT_ORIGIN,s__Object) &
       s__origin(V__REPAYMENT,V__REPAYMENT_ORIGIN))
   =>
   (( ? [V__PAYMENT, V__PAYMENT_ORIGIN, V__PAYMENT_DESTINATION] :
       ((s__instance(V__PAYMENT,s__Payment) &
           s__instance(V__PAYMENT_ORIGIN,s__Object) &
           s__instance(V__PAYMENT_DESTINATION,s__Object) &
           ~((V__PAYMENT = V__REPAYMENT))
           &
           s__destination(V__PAYMENT,V__PAYMENT_DESTINATION)
         &
         s__origin(V__PAYMENT,V__PAYMENT_ORIGIN)
       &
       (V__PAYMENT_ORIGIN = V__REPAYMENT_DESTINATION)
       &
       (V__PAYMENT_DESTINATION = V__REPAYMENT_ORIGIN))))))
)
)

UXExperimentalTerms.kif 2092-2109
No TPTP formula. May not be expressible in strict first order. Merge.kif 12377-12390
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20302-20331
( ! [V__X] :
   (((s__instance(V__X,s__Region) &
         s__attribute(V__X,s__Vacuum))
       =>
       (~(( ? [V__O] :
             ((s__instance(V__O,s__Object) &
                 s__located(V__O,V__X)))))))
   )
)

Cars.kif 368-376
( ! [V__USER,V__OBJ,V__SITE,V__COLL] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__OBJ,s__Physical) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection))
       =>
       (((s__webcart(V__USER,V__COLL,V__SITE)
           &
           s__member(V__OBJ,V__COLL))
       =>
       (s__instance(V__OBJ,s__Object)))))
)
)

UXExperimentalTerms.kif 858-862

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 is open source software produced by Articulate Software and its partners