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

KB Term:  Term intersection
English Word: 

Sigma KEE - Physical
Physical(physical)Coriolis_effect, aversive_stimulus, bandwagon_effect, butterfly_effect, common_nuisance, concrete, domino_effect, emanation, export, exportation, import, importation, knock-on_effect, material, natural_order, perturbation, phenomenon, physical, physical_entity, placebo_effect, plague, position_effect, public_nuisance, pulsation, space-time, space-time_continuum, spaciotemporal, spatiotemporal

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


s__subclass(s__Physical,s__Entity)

 Merge.kif 824-824 Physical is a subclass of entity
s__documentation(s__Physical, s__EnglishLanguage, "An entity that has a location in space_time_ Note that locations are themselves understood to have a location in space_time_") Merge.kif 827-829 Physical is a subclass of entity

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


s__partition(s__Entity,s__Physical,s__Abstract)

 Merge.kif 808-808 Entity is exhaustively partitioned into physical and abstract
s__subclass(s__Object,s__Physical)

 Merge.kif 838-838 Object is a subclass of physical
s__subclass(s__Collection,s__Physical)

 Merge.kif 1334-1334 Collection is a subclass of physical
s__subclass(s__ContentBearingPhysical,s__Physical)

 Merge.kif 1394-1394 Content bearing physical is a subclass of physical
s__subclass(s__Process,s__Physical)

 Merge.kif 1715-1715 Process is a subclass of physical
s__subclass(s__PhysicalSystem,s__Physical)

 Merge.kif 6240-6240 Physical system is a subclass of physical
s__subclass(s__FinancialAsset,s__Physical)

 FinancialOntology.kif 43-43 Financial asset is a subclass of physical
s__termFormat(s__EnglishLanguage, s__Physical, "physical") english_format.kif 830-830 Financial asset is a subclass of physical

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


s__domain(s__member,n__1,s__Physical)

 Merge.kif 1353-1353 The number 1 argument of member is an instance of physical
s__domain(s__needs,n__2,s__Physical)

 Merge.kif 2861-2861 The number 2 argument of needs is an instance of physical
s__domain(s__wants,n__2,s__Physical)

 Merge.kif 2875-2875 The number 2 argument of wants is an instance of physical
s__domain(s__time,n__1,s__Physical)

 Merge.kif 3969-3969 The number 1 argument of time is an instance of physical
s__domain(s__hasPurpose,n__1,s__Physical)

 Merge.kif 4049-4049 The number 1 argument of has purpose is an instance of physical
s__domain(s__hasPurposeForAgent,n__1,s__Physical)

 Merge.kif 4065-4065 The number 1 argument of has purpose for agent is an instance of physical
s__domain(s__partlyLocated,n__1,s__Physical)

 Merge.kif 4151-4151 The number 1 argument of partly located is an instance of physical
s__domain(s__located,n__1,s__Physical)

 Merge.kif 4181-4181 The number 1 argument of located is an instance of physical
s__domain(s__exactlyLocated,n__1,s__Physical)

 Merge.kif 4243-4243 The number 1 argument of exactly located is an instance of physical
s__domain(s__WhereFn,n__1,s__Physical)

 Merge.kif 4337-4337 The number 1 argument of where is an instance of physical
s__domain(s__abstractCounterpart,n__2,s__Physical)

 Merge.kif 6231-6231 The number 2 argument of abstract counterpart is an instance of physical
s__domain(s__systemPart,n__1,s__Physical)

 Merge.kif 6254-6254 The number 1 argument of system part is an instance of physical
s__domain(s__measure,n__1,s__Physical)

 Merge.kif 7639-7639 The number 1 argument of measure is an instance of physical
s__domain(s__age,n__1,s__Physical)

 Merge.kif 7656-7656 The number 1 argument of age is an instance of physical
s__domain(s__linearExtent,n__1,s__Physical)

 Merge.kif 7670-7670 The number 1 argument of linear extent is an instance of physical
s__domain(s__width,n__1,s__Physical)

 Merge.kif 7683-7683 The number 1 argument of width is an instance of physical
s__domain(s__length,n__1,s__Physical)

 Merge.kif 7699-7699 The number 1 argument of length is an instance of physical
s__domain(s__shape,n__1,s__Physical)

 Merge.kif 7764-7764 The number 1 argument of shape is an instance of physical
s__domain(s__distance,n__1,s__Physical)

 Merge.kif 7857-7857 The number 1 argument of distance is an instance of physical
s__domain(s__distance,n__2,s__Physical)

 Merge.kif 7858-7858 The number 2 argument of distance is an instance of physical
s__domain(s__altitude,n__1,s__Physical)

 Merge.kif 7879-7879 The number 1 argument of altitude is an instance of physical
s__domain(s__altitude,n__2,s__Physical)

 Merge.kif 7880-7880 The number 2 argument of altitude is an instance of physical
s__domain(s__depth,n__1,s__Physical)

 Merge.kif 7903-7903 The number 1 argument of depth is an instance of physical
s__domain(s__depth,n__2,s__Physical)

 Merge.kif 7904-7904 The number 2 argument of depth is an instance of physical
s__domain(s__monetaryValue,n__1,s__Physical)

 Merge.kif 7961-7961 The number 1 argument of monetary value is an instance of physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


! [V__PHYS] :
((s__instance(V__PHYS,s__Physical) =>
     (? [V__LOC,V__TIME] :
       ((s__instance(V__LOC,s__Object) &
           s__instance(V__TIME,s__TimePosition) &
           (s__located(V__PHYS,V__LOC)
           &
           s__time(V__PHYS,V__TIME))))))
)

 Merge.kif 831-836 If X is an instance of physical, then there exist Y, Z such that X is located at Y, and X exists during Z
! [V__OBJ,V__SHAPE] :
(((s__property(V__OBJ,V__SHAPE)
     &
     s__instance(V__OBJ,s__Physical) &
     s__instance(V__SHAPE,s__ShapeAttribute))
   =>
   s__shape(V__OBJ,V__SHAPE))
)

 Merge.kif 7768-7773 If X the attribute Y, X is an instance of physical, and Y is an instance of shape attribute, then X is Y
! [V__INST1 : $i,V__INST2 : $i,V__INTERVAL : $i] : (((s__holdsDuring(V__INTERVAL, s__?REL(V__INST1, V__INST2)) & s__instance(V__INST1, s__Physical) & s__instance(V__INST2, s__Physical)) => (s__time(V__INST1, V__INTERVAL) & s__time(V__INST2, V__INTERVAL)))) Merge.kif 8134-8141 If X Y and Z holds during W, Y is an instance of physical, and Z is an instance of physical, then Y exists during W and Z exists during W
! [V__OBJ1,V__OBJ2] :
(((s__instance(s__crosses,s__BinaryPredicate) &
       s__instance(s__crosses,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__crosses(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__onboard,s__BinaryPredicate) &
       s__instance(s__onboard,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__onboard(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__physicalAmplitude,s__BinaryPredicate) &
       s__instance(s__physicalAmplitude,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__physicalAmplitude(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__quarter,s__BinaryPredicate) &
       s__instance(s__quarter,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__quarter(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__connectedEngineeringComponents,s__BinaryPredicate) &
       s__instance(s__connectedEngineeringComponents,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__connectedEngineeringComponents(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__half,s__BinaryPredicate) &
       s__instance(s__half,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__half(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postCity,s__BinaryPredicate) &
       s__instance(s__postCity,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postCity(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__routeInSystem,s__BinaryPredicate) &
       s__instance(s__routeInSystem,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__routeInSystem(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__keyName,s__BinaryPredicate) &
       s__instance(s__keyName,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__keyName(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__telecomCode2,s__BinaryPredicate) &
       s__instance(s__telecomCode2,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__telecomCode2(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__part,s__BinaryPredicate) &
       s__instance(s__part,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__part(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__pathInSystem,s__BinaryPredicate) &
       s__instance(s__pathInSystem,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__pathInSystem(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__politicalPartyOfCountry,s__BinaryPredicate) &
       s__instance(s__politicalPartyOfCountry,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__politicalPartyOfCountry(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__inString,s__BinaryPredicate) &
       s__instance(s__inString,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__inString(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__connectedRegions,s__BinaryPredicate) &
       s__instance(s__connectedRegions,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__connectedRegions(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__larger,s__BinaryPredicate) &
       s__instance(s__larger,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__larger(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__streamOutfall,s__BinaryPredicate) &
       s__instance(s__streamOutfall,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__streamOutfall(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postDistrict,s__BinaryPredicate) &
       s__instance(s__postDistrict,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postDistrict(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__powerComponent,s__BinaryPredicate) &
       s__instance(s__powerComponent,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__powerComponent(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__properPart,s__BinaryPredicate) &
       s__instance(s__properPart,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__properPart(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__completelyFills,s__BinaryPredicate) &
       s__instance(s__completelyFills,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__completelyFills(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__properlyFills,s__BinaryPredicate) &
       s__instance(s__properlyFills,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__properlyFills(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__geneticSubstrateOfVirus,s__BinaryPredicate) &
       s__instance(s__geneticSubstrateOfVirus,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__geneticSubstrateOfVirus(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__subString,s__BinaryPredicate) &
       s__instance(s__subString,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__subString(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__third,s__BinaryPredicate) &
       s__instance(s__third,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__third(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__exactlyLocated,s__BinaryPredicate) &
       s__instance(s__exactlyLocated,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__exactlyLocated(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__parallelLinesInSpace,s__BinaryPredicate) &
       s__instance(s__parallelLinesInSpace,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__parallelLinesInSpace(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__contains,s__BinaryPredicate) &
       s__instance(s__contains,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__contains(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__centerOfMass,s__BinaryPredicate) &
       s__instance(s__centerOfMass,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__centerOfMass(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__geopoliticalSubdivision,s__BinaryPredicate) &
       s__instance(s__geopoliticalSubdivision,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__geopoliticalSubdivision(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__overlapsSpatially,s__BinaryPredicate) &
       s__instance(s__overlapsSpatially,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__overlapsSpatially(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__smaller,s__BinaryPredicate) &
       s__instance(s__smaller,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__smaller(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__penetrates,s__BinaryPredicate) &
       s__instance(s__penetrates,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__penetrates(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__connected,s__BinaryPredicate) &
       s__instance(s__connected,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__connected(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__traverses,s__BinaryPredicate) &
       s__instance(s__traverses,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__traverses(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__fills,s__BinaryPredicate) &
       s__instance(s__fills,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__fills(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__telecomCountryCode,s__BinaryPredicate) &
       s__instance(s__telecomCountryCode,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__telecomCountryCode(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__piece,s__BinaryPredicate) &
       s__instance(s__piece,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__piece(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__telecomCoreNumber,s__BinaryPredicate) &
       s__instance(s__telecomCoreNumber,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__telecomCoreNumber(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__geographicSubregion,s__BinaryPredicate) &
       s__instance(s__geographicSubregion,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__geographicSubregion(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postCountry,s__BinaryPredicate) &
       s__instance(s__postCountry,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postCountry(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postPostcodeArea,s__BinaryPredicate) &
       s__instance(s__postPostcodeArea,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postPostcodeArea(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__located,s__BinaryPredicate) &
       s__instance(s__located,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__located(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__partiallyFills,s__BinaryPredicate) &
       s__instance(s__partiallyFills,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__partiallyFills(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__partlyLocated,s__BinaryPredicate) &
       s__instance(s__partlyLocated,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__partlyLocated(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__telecomAreaCode,s__BinaryPredicate) &
       s__instance(s__telecomAreaCode,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__telecomAreaCode(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__primaryGeopoliticalSubdivision,s__BinaryPredicate) &
       s__instance(s__primaryGeopoliticalSubdivision,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__primaryGeopoliticalSubdivision(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__physicalEnd,s__BinaryPredicate) &
       s__instance(s__physicalEnd,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__physicalEnd(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__agentOperatesInArea,s__BinaryPredicate) &
       s__instance(s__agentOperatesInArea,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__agentOperatesInArea(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__component,s__BinaryPredicate) &
       s__instance(s__component,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__component(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__covers,s__BinaryPredicate) &
       s__instance(s__covers,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__covers(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__hole,s__BinaryPredicate) &
       s__instance(s__hole,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__hole(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__postNeighborhood,s__BinaryPredicate) &
       s__instance(s__postNeighborhood,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__postNeighborhood(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__interiorPart,s__BinaryPredicate) &
       s__instance(s__interiorPart,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__interiorPart(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__cylinderBore,s__BinaryPredicate) &
       s__instance(s__cylinderBore,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__cylinderBore(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__most,s__BinaryPredicate) &
       s__instance(s__most,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__most(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__headquartersOfOrganization,s__BinaryPredicate) &
       s__instance(s__headquartersOfOrganization,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__headquartersOfOrganization(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__engineeringSubcomponent,s__BinaryPredicate) &
       s__instance(s__engineeringSubcomponent,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__engineeringSubcomponent(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__administrativeCenter,s__BinaryPredicate) &
       s__instance(s__administrativeCenter,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__administrativeCenter(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__absoluteHeight,s__BinaryPredicate) &
       s__instance(s__absoluteHeight,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__absoluteHeight(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

! [V__OBJ1,V__OBJ2] :
(((s__instance(s__capitalCity,s__BinaryPredicate) &
       s__instance(s__capitalCity,s__SpatialRelation) &
       s__instance(V__OBJ1,s__Physical) &
       s__instance(V__OBJ2,s__Physical) &
       s__capitalCity(V__OBJ1,V__OBJ2))
   =>
   s__overlapsTemporally(s__WhenFn(V__OBJ1)
,s__WhenFn(V__OBJ2)))
)

 Merge.kif 8451-8458 If X is an instance of binary predicate, X is an instance of spatial relation, Y is an instance of physical, Z is an instance of physical, and X Y and Z, then the time of existence of Z overlaps the time of existence of Y
! [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__CUST,V__AGENT,V__ITEM] :
(((s__instance(V__CUST,s__CognitiveAgent) &
       s__instance(V__AGENT,s__AutonomousAgent))
     =>
     ((s__buys(V__CUST,V__AGENT,V__ITEM)
       &
       s__instance(V__ITEM,s__Physical))
     =>
     (? [V__TRANS] :
       ((s__instance(V__TRANS,s__Buying) &
           s__patient(V__TRANS,V__ITEM)
         &
         s__agent(V__TRANS,V__CUST)
       &
       s__origin(V__TRANS,V__AGENT))))))
)

 Mid-level-ontology.kif 32562-32571 If X buys Y from Z and Y is an instance of physical, then there exists W such that W is an instance of buying, Y is a patient of W, X is an agent of W, and W originates at Z
! [V__PHYSICAL : $i] : ((s__instance(V__PHYSICAL, s__Physical) => ( ? [V__LIFESPAN:$i, V__BEGINMOMENT:$i, V__NASCENTDURATION:$i, V__NASCENT] : ((V__LIFESPAN = s__WhenFn(V__PHYSICAL) & V__BEGINMOMENT = s__BeginFn(V__LIFESPAN) & V__NASCENTDURATION = s__ImmediateFutureFn(V__BEGINMOMENT) & s__holdsDuring(V__NASCENTDURATION, s__attribute(V__PHYSICAL, s__Nascent))))))) Mid-level-ontology.kif 34268-34276 If X is an instance of physical, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) the time of existence of X (4) equal Z (5) the beginning of Y (6) equal W (7) immediately after Z (8) nascent is an attribute of X holds during W
! [V__PHYSICAL : $i] : ((s__instance(V__PHYSICAL, s__Physical) => ( ? [V__LIFESPAN:$i, V__ENDMOMENT:$i, V__MORIBUNDDURATION:$i, V__MORIBUND] : ((V__LIFESPAN = s__WhenFn(V__PHYSICAL) & V__ENDMOMENT = s__EndFn(V__LIFESPAN) & V__MORIBUNDDURATION = s__ImmediatePastFn(V__ENDMOMENT) & s__holdsDuring(V__MORIBUNDDURATION, s__attribute(V__PHYSICAL, s__Moribund))))))) Mid-level-ontology.kif 34282-34290 If X is an instance of physical, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that equal Y (3) the time of existence of X (4) equal Z (5) the end of Y (6) equal W (7) immediately before Z (8) moribund is an attribute of X holds during W
! [V__AGENT : $i,V__CATALOG : $i,V__OBJ : $i] : (((s__offers(V__AGENT, V__CATALOG) & s__catalogItem(V__OBJ, V__CATALOG) & s__subclass(V__OBJ, s__Physical)) => s__modalAttribute(( ? [V__S:$i, V__X:$i] : ((s__instance(V__X, V__OBJ) & s__instance(V__S, s__Selling) & s__agent(V__S, V__AGENT) & s__patient(V__S, V__X)))), s__Possibility))) Catalog.kif 51-62 If X offers items for sale in Y, Z is in Y, and Z is a subclass of physical, then the statement there exist W, V such that V is an instance of Z, W is an instance of selling, X is an agent of W, and V is a patient of W has the modal force of possibility
! [V__AGENT : $i,V__B : $i,V__ENT : $i,V__ITEM : $i,V__PAY : $i,V__PRICE : $i,V__PS : $i,V__QUANT : $i] : (((s__instance(V__B, s__Buying) & s__patient(V__B, V__ITEM) & s__origin(V__B, V__AGENT) & (s__publishedPrice(V__ENT, V__PRICE, V__AGENT, V__PS) | s__unitPrice(V__ENT, V__QUANT, V__AGENT, V__PS)) & s__subclass(V__ENT, s__Physical) & s__immediateInstance(V__ITEM, V__ENT) & s__validPaymentType(V__PS, V__PAY)) => s__modalAttribute(( ? [V__PAYMENT:$i] : ((s__instance(V__PAYMENT, V__PAY) & s__subProcess(V__PAYMENT, V__B)))), s__Likely))) Catalog.kif 337-352 If All of the following hold: (1) X is an instance of buying (2) Y is a patient of X (3) X originates at Z (4) the price of W from Z according to V is U or the unit price charged Z under V for T is W (5) W is a subclass of physical (6) Y is an immediate instance of W (7) S is a valid payment under V, then the statement there exists R such that R is an instance of S and R is a subprocess of X has the modal force of likely
! [V__AGENT : $i,V__B : $i,V__CUSTCLASS : $i,V__CUSTOMER : $i,V__ENT : $i,V__ITEM : $i,V__PRICE : $i,V__PS : $i,V__QUANT : $i] : ((((s__publishedPrice(V__ENT, V__PRICE, V__AGENT, V__PS) | s__unitPrice(V__ENT, V__QUANT, V__AGENT, V__PS)) & s__subclass(V__ENT, s__Physical) & s__immediateInstance(V__ITEM, V__ENT) & s__validFor(V__PS, V__CUSTCLASS) & s__instance(V__CUSTOMER, V__CUSTCLASS)) => s__modalAttribute(((s__instance(V__B, s__Buying) & s__agent(V__B, V__CUSTOMER) & s__origin(V__B, V__AGENT) & s__patient(V__B, V__ITEM)) => s__transactionAmount(V__B, V__PRICE)), s__Likely))) Catalog.kif 354-370 If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, Z is valid for T, and S is an instance of T, then the statement R is an instance of buying, S is an agent of R, R originates at Y, and U is a patient of RW is a transaction amount of R has the modal force of likely
! [V__AGENT : $i,V__ENT : $i,V__ITEM : $i,V__PRICE : $i,V__PS : $i,V__QUANT : $i,V__S : $i,V__TIMEINT : $i] : ((((s__publishedPrice(V__ENT, V__PRICE, V__AGENT, V__PS) | s__unitPrice(V__ENT, V__QUANT, V__AGENT, V__PS)) & s__subclass(V__ENT, s__Physical) & s__immediateInstance(V__ITEM, V__ENT) & s__validityPeriod(V__PS, V__TIMEINT)) => s__holdsDuring(V__TIMEINT, s__modalAttribute(((s__instance(V__S, s__Selling) & s__agent(V__S, V__AGENT) & s__patient(V__S, V__ITEM)) => s__transactionAmount(V__S, V__PRICE)), s__Likely)))) Catalog.kif 372-387 If the price of X from Y according to Z is W or the unit price charged Y under Z for V is X, X is a subclass of physical, U is an immediate instance of X, and Z is valid during T, then the statement S is an instance of selling, Y is an agent of S, and U is a patient of SW is a transaction amount of S has the modal force of likely holds during T
! [V__AGENT,V__BIDDING,V__OBJECT,V__AMOUNT] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__AGENT,s__Class))
     =>
     ((s__instance(V__BIDDING,s__Bidding) &
         s__instance(V__OBJECT,s__Physical) &
         s__instance(V__AMOUNT,s__CurrencyMeasure) &
         s__instance(V__AGENT,V__AGENT)
       &
       s__objectOfBid(V__BIDDING,V__OBJECT)
     &
     s__amountOfBid(V__BIDDING,V__AMOUNT)
   &
   s__agent(V__BIDDING,V__AGENT))
=>
s__bidPrice(V__OBJECT,V__AMOUNT,V__AGENT)))
)

 UXExperimentalTerms.kif 1416-1425 If All of the following hold: (1) X is an instance of bidding (2) Y is an instance of physical (3) Z is an instance of currency measure (4) W is an instance of W (5) X is a bid for Y (6) Z is the bid of X (7) W is an agent of X, then W bids Z for Y
! [V__PAGE,V__ADVERTISING,V__ITEM] :
(((s__instance(V__PAGE,s__ViewItemPage) &
       s__instance(V__ADVERTISING,s__WebListing) &
       s__component(V__ADVERTISING,V__PAGE)
     &
     s__patient(V__ADVERTISING,V__ITEM)
   &
   s__instance(V__ITEM,s__Physical))
=>
(? [V__DESCRIPTION,V__STATING,V__DESCRIPTIONCONTENT] :
   ((s__instance(V__DESCRIPTION,s__Process) &
       s__instance(V__DESCRIPTIONCONTENT,s__Object) &
       (s__instance(V__STATING,s__Stating) &
         s__patient(V__STATING,V__DESCRIPTION)
       &
       s__refers(V__DESCRIPTION,V__ITEM)
     &
     s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
   &
   s__part(V__DESCRIPTIONCONTENT,V__PAGE))))))
)

 UXExperimentalTerms.kif 2079-2092 If X is an instance of next generation view item, Y is an instance of web listing, Y is a component of X, Z is a patient of Y, and Z is an instance of physical, then there exist W, V, U such that V is an instance of stating, W is a patient of V, W includes a reference to Z, U is a result of W, and U is a part of X

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


! [V__AGENT,V__THING] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__THING,s__AutonomousAgent))
     =>
     ((s__instance(s__allied,s__ObjectAttitude) &
         s__allied(V__AGENT,V__THING))
     =>
     s__instance(V__THING,s__Physical)))
)

! [V__AGENT,V__THING] :
(((s__instance(V__AGENT,s__AutonomousAgent) &
       s__instance(V__THING,s__AutonomousAgent))
     =>
     ((s__instance(s__enemy,s__ObjectAttitude) &
         s__enemy(V__AGENT,V__THING))
     =>
     s__instance(V__THING,s__Physical)))
)

! [V__AGENT,V__THING] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__THING,s__Object))
     =>
     ((s__instance(s__dislikes,s__ObjectAttitude) &
         s__dislikes(V__AGENT,V__THING))
     =>
     s__instance(V__THING,s__Physical)))
)

! [V__AGENT,V__THING] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__THING,s__Physical))
     =>
     ((s__instance(s__lacks,s__ObjectAttitude) &
         s__lacks(V__AGENT,V__THING))
     =>
     s__instance(V__THING,s__Physical)))
)

! [V__AGENT,V__THING] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__THING,s__Physical))
     =>
     ((s__instance(s__wants,s__ObjectAttitude) &
         s__wants(V__AGENT,V__THING))
     =>
     s__instance(V__THING,s__Physical)))
)

! [V__AGENT,V__THING] :
(((s__instance(V__AGENT,s__CognitiveAgent) &
       s__instance(V__THING,s__Physical))
     =>
     ((s__instance(s__needs,s__ObjectAttitude) &
         s__needs(V__AGENT,V__THING))
     =>
     s__instance(V__THING,s__Physical)))
)

 Merge.kif 2824-2828 If X is an instance of object attitude and X Y and Z, then Z is an instance of physical
! [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__RA] :
((s__instance(V__RA,s__RepresentationalArtWork) =>
     (? [V__P] :
       ((s__instance(V__P,s__Physical) &
           s__represents(V__RA,V__P)))))
)

 Merge.kif 16189-16194 If X is an instance of representational art work, then there exists Y such that Y is an instance of physical and X expresses Y
! [V__ORG : $i] : ((s__attribute(V__ORG, s__Greedy) => ( ? [V__OBJ:$i] : ((s__instance(V__ORG, s__Organism) & s__instance(V__OBJ, s__Physical) & s__desires(V__ORG, s__possesses(V__ORG, V__OBJ)) & ~(s__modalAttribute(s__possesses(V__ORG, V__OBJ), s__Necessity))))))) Mid-level-ontology.kif 21732-21740 If greedy is an attribute of X, then there exists Y such that X is an instance of organism, Y is an instance of physical, X desires X possesses Y, and the statement X doesn't possess Y doesn't have the modal force of necessity
! [V__X] :
((s__instance(V__X,s__Object) =>
     (s__attribute(V__X,s__Historical) =>
       s__instance(V__X,s__Physical)))
   )

 Mid-level-ontology.kif 29180-29182 If historical is an attribute of X, then X is an instance of physical
! [V__X] :
(((s__attribute(V__X,s__Historical) &
       s__instance(V__X,s__City))
     =>
     (? [V__EV] :
       ((s__instance(V__EV,s__Physical) &
           s__attribute(V__EV,s__Historical) &
           s__eventLocated(V__EV,V__X)))))
)

 Mid-level-ontology.kif 29188-29196 If historical is an attribute of X and X is an instance of city, then there exists Y such that Y is an instance of physical, historical is an attribute of Y, and Y is located at X
! [V__VIEW] :
((s__instance(V__VIEW,s__View) =>
     (? [V__ENTITY] :
       ((s__instance(V__ENTITY,s__Physical) &
           s__represents(V__VIEW,V__ENTITY)))))
)

 Dining.kif 946-951 If X is an instance of view, then there exists Y such that Y is an instance of physical and X expresses Y
! [V__X,V__ATTR] :
((s__instance(V__X,s__Object) =>
     ((s__attribute(V__X,V__ATTR)
       &
       s__instance(V__ATTR,s__AmbienceAttribute))
     =>
     s__instance(V__X,s__Physical)))
)

 Dining.kif 1069-1073 If X is an attribute of Y and X is an instance of ambience, then Y is an instance of physical
! [V__CHARGE] :
((s__instance(V__CHARGE,s__FinalValueFee) =>
     (? [V__ADVERT,V__SELLING,V__OWNER,V__ITEM,V__SITE] :
       ((s__instance(V__SITE,s__Object) &
           s__instance(V__SITE,s__WebSite) &
           (s__instance(V__ADVERT,s__WebListing) &
             s__instance(V__SELLING,s__Selling) &
             s__instance(V__OWNER,s__AutonomousAgent) &
             s__instance(V__ITEM,s__Physical) &
             s__instance(V__ADVERT,s__WebListing) &
             s__patient(V__ADVERT,V__ITEM)
           &
           s__patient(V__SELLING,V__ITEM)
         &
         s__causes(V__SELLING,V__CHARGE)
       &
       s__agent(V__CHARGE,V__OWNER)
     &
     s__hostedOn(V__ADVERT,V__SITE)
   &
   s__possesses(V__OWNER,V__SITE)
&
s__eCommerceSite(V__SELLING,V__OWNER))))))
)

 UXExperimentalTerms.kif 240-255 If X is an instance of final fee, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of web listing (3) Z is an instance of selling (4) W is an instance of agent (5) V is an instance of physical (6) Y is an instance of web listing (7) V is a patient of Y (8) V is a patient of Z (9) Z causes X (10) W is an agent of X (11) Y is hosted on U (12) W possesses U (13) W facilitates Z
! [V__DATABASE : $i,V__WEBSITE : $i] : ((s__siteCatalog(V__DATABASE, V__WEBSITE) => ( ? [V__PART:$i, V__PRODUCTS:$i, V__BUYING:$i] : ((s__instance(V__PRODUCTS, s__Collection) & s__part(V__PART, V__DATABASE) & s__represents(V__PART, V__PRODUCTS) & ( ! [V__MEMBER:$i] : ((s__member(V__MEMBER, V__PRODUCTS) => (s__instance(V__MEMBER, s__Physical) & s__capability(s__KappaFn(V__BUYING, (s__instance(V__BUYING, s__Buying) & s__eCommerceSite(V__BUYING, V__WEBSITE))), s__patient, V__MEMBER)))))))))) UXExperimentalTerms.kif 2243-2260 If X is the catalog for Y, then there exist Z, W, V such that W is an instance of collection, Z is a part of X, Z expresses W, U U is a member of WU is an instance of physical, and U is capable of doing the class described by V as a patient
! [V__COLL : $i] : (((s__instance(V__COLL, s__Collection) & ( ! [V__MEMBER:$i] : ((s__member(V__MEMBER, V__COLL) => s__instance(V__MEMBER, s__WebListing))))) => ( ? [V__LISTING:$i, V__SITE:$i, V__ITEM:$i] : (s__DivisionFn(s__CardinalityFn(s__KappaFn(V__LISTING, (s__instance(V__LISTING, s__WebListing) & s__instance(V__SITE, s__WebSite) & s__instance(V__ITEM, s__Physical) & s__member(V__LISTING, V__COLL) & s__patient(V__LISTING, V__ITEM) & s__hostedOn(V__LISTING, V__SITE) & ( ? [V__BUYING:$i] : ((s__instance(V__BUYING, s__Buying) & s__patient(V__BUYING, V__ITEM) & s__eCommerceSite(V__BUYING, V__SITE))))))), s__CardinalityFn(V__COLL)) = s__BidCountFn(V__COLL))))) UXExperimentalTerms.kif 2846-2871 If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of web listing, then there exist Z, W, V such that equal the number of instances in the class described by Z, the number of instances in X, and number of bids in X
! [V__COLL : $i] : (((s__instance(V__COLL, s__Collection) & ( ! [V__MEMBER:$i] : ((s__member(V__MEMBER, V__COLL) => s__instance(V__MEMBER, s__FinancialTransaction))))) => ( ? [V__ITEM:$i, V__BUYING:$i] : (s__CardinalityFn(s__KappaFn(V__ITEM, (s__instance(V__ITEM, s__Physical) & s__instance(V__BUYING, s__Buying) & s__member(V__BUYING, V__COLL) & s__patient(V__BUYING, V__ITEM)))) = s__BoughtItemsFn(V__COLL))))) UXExperimentalTerms.kif 2887-2903 If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of financial transaction, then there exist Z, W such that equal the number of instances in the class described by Z, and number of items purchased in X
! [V__COLL : $i] : (((s__instance(V__COLL, s__Collection) & ( ! [V__MEMBER:$i] : ((s__member(V__MEMBER, V__COLL) => s__instance(V__MEMBER, s__WebListing))))) => ( ? [V__BIDDING:$i, V__ITEM:$i, V__LISTING:$i, V__BIDDING:$i] : (s__CardinalityFn(s__KappaFn(V__BIDDING, (s__instance(V__ITEM, s__Physical) & s__instance(V__LISTING, s__WebListing) & s__instance(V__BIDDING, s__Bidding) & s__member(V__LISTING, V__COLL) & s__objectOfBid(V__BIDDING, V__ITEM) & s__patient(V__LISTING, V__ITEM)))) = s__BidCountFn(V__COLL))))) UXExperimentalTerms.kif 2922-2940 If X is an instance of collection and For all Physical Y: if Y is a member of X, then Y is an instance of web listing, then there exist Z, W,, , V, Z such that equal the number of instances in the class described by Z, and number of bids in X
! [V__A : $i,V__F : $i,V__P : $i] : (((s__instance(V__F, s__Frightening) & s__experiencer(V__F, V__A)) => (s__fears(V__A, s__instance(V__P, s__Physical)) & (s__origin(V__F, V__P) | s__causes(V__P, V__F))))) emotion.kif 1729-1738 If X is an instance of frightening and Y experiences X, then Y fears Z is an instance of physical and X originates at Z or Z causes X
! [V__A : $i,V__T : $i] : ((s__holdsDuring(V__T, s__attribute(V__A, s__Curiosity)) => ( ? [V__P:$i] : ((s__instance(V__P, s__Physical) & s__desires(V__A, ( ? [V__L:$i] : ((s__instance(V__L, s__Learning) & s__patient(V__L, V__P) & s__agent(V__L, V__A) & s__during(V__T, s__WhenFn(V__L))))))))))) emotion.kif 1768-1781 If intrigued is an attribute of X holds during Y, then there exists Z such that Z is an instance of physical, X desires there exists W such that W is an instance of learning, Z is a patient of W, X is an agent of W, and Y takes place during the time of existence of W


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