overlapsSpatially - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__overlapsSpatially__m,s__ChineseLanguage,'"(overlapsSpatially ?OBJ1 ?OBJ2)的意思是 Objects ?OBJ1 和 ?OBJ2 有些共同的部分。这是一个自反和对称(而不是传递) 的关系。"')	chinese_format.kif 2830-2831
s__documentation(s__overlapsSpatially__m,s__EnglishLanguage,'"(overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation."')	Merge.kif 9162-9164
s__instance(s__overlapsSpatially__m,s__ReflexiveRelation) s__instance(s__ReflexiveRelation,s__SetOrClass)	Merge.kif 9158-9158	overlaps spatially is an instance of reflexive relation
s__instance(s__SymmetricRelation,s__SetOrClass) s__instance(s__overlapsSpatially__m,s__SymmetricRelation)	Merge.kif 9159-9159	overlaps spatially is an instance of symmetric relation
s__subrelation(s__overlapsSpatially__m,s__connected__m)	Merge.kif 9157-9157	overlaps spatially is a subrelation of connected

appearance as argument number 2

s__disjointRelation(s__meetsSpatially__m,s__overlapsSpatially__m)	Merge.kif 9151-9151	meets spatially and overlaps spatially are disjoint
s__format(s__ChineseLanguage,s__overlapsSpatially__m,'"%1 和 %2 %n 重叠"')	chinese_format.kif 367-367
s__format(s__EnglishLanguage,s__overlapsSpatially__m,'"%1 and %2 is %n overlapsSpatially"')	Merge.kif 9160-9160
s__termFormat(s__ChineseLanguage,s__overlapsSpatially__m,'"在空间上重叠"')	domainEnglishFormat.kif 43759-43759
s__termFormat(s__ChineseLanguage,s__overlapsSpatially__m,'"重叠"')	chinese_format.kif 368-368
s__termFormat(s__ChineseTraditionalLanguage,s__overlapsSpatially__m,'"在空間上重疊"')	domainEnglishFormat.kif 43758-43758
s__termFormat(s__EnglishLanguage,s__overlapsSpatially__m,'"overlaps spatially"')	domainEnglishFormat.kif 43757-43757

antecedent

( ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => (((s__overlapsSpatially(V__OBJ1,V__OBJ2) => ( ? [V__OBJ3] : ((s__instance(V__OBJ3,s__Object) & (s__part(V__OBJ3,V__OBJ1) & s__part(V__OBJ3,V__OBJ2)))))) & (( ? [V__OBJ3] : ((s__instance(V__OBJ3,s__Object) & (s__part(V__OBJ3,V__OBJ1) & s__part(V__OBJ3,V__OBJ2))))) => s__overlapsSpatially(V__OBJ1,V__OBJ2))))) ) )	Merge.kif 9166-9171	An object and another object is overlapsSpatially if and only if there exists a third object such that the third object is a part of the object and the third object is a part of the other object
( ! [V__OBJ1,V__OBJ2,V__HOLE1,V__HOLE2] : (((s__instance(V__OBJ1,s__SelfConnectedObject) & s__instance(V__OBJ2,s__SelfConnectedObject) & s__instance(V__HOLE1,s__Hole) & s__instance(V__HOLE2,s__Hole)) => (((s__hole(V__HOLE1,V__OBJ1) & s__hole(V__HOLE2,V__OBJ2) & s__overlapsSpatially(V__HOLE1,V__HOLE2)) => (s__overlapsSpatially(V__OBJ1,V__OBJ2))))) ) )	Merge.kif 9479-9484	If a hole is a hole in a self connected object and another hole is a hole in another self connected object and the hole and the other hole is overlapsSpatially, then the self connected object and the other self connected object is overlapsSpatially
( ! [V__TWO,V__ONE] : ((s__instance(V__ONE,s__Object) => (((s__overlapsSpatially(V__ONE,V__TWO) & s__instance(V__TWO,s__Region) & ~((V__ONE = V__TWO))) => (s__partlyLocated(V__ONE,V__TWO))))) ) )	Geography.kif 3377-3382	If an object and another object is overlapsSpatially and the other object is an instance of region and the object is not equal to the other object, then the object is partly located in the other object

consequent

( ! [V__OBJ1,V__HOLE,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__HOLE,s__Hole) & s__instance(V__OBJ2,s__Object)) => (((s__fills(V__OBJ1,V__HOLE) & s__attribute(V__OBJ2,s__Fillable)) => (~(s__overlapsSpatially(V__OBJ1,V__OBJ2)))))) ) )	Merge.kif 9609-9614	If an object fills a hole and fillable is an attribute of another object, then the object and the other object is not overlapsSpatially
( ! [V__OBJ1,V__HOLE,V__OBJ2] : (((s__instance(V__OBJ1,s__SelfConnectedObject) & s__instance(V__HOLE,s__Hole) & s__instance(V__OBJ2,s__SelfConnectedObject)) => (((s__hole(V__HOLE,V__OBJ1) & s__part(V__OBJ1,V__OBJ2)) => ((s__overlapsSpatially(V__HOLE,V__OBJ2) \| s__hole(V__HOLE,V__OBJ2)))))) ) )	Merge.kif 9471-9477	If a hole is a hole in a self connected object and the self connected object is a part of another self connected object, then the hole and the other self connected object is overlapsSpatially or the hole is a hole in the other self connected object
( ! [V__OBJ1,V__OBJ2,V__HOLE1,V__HOLE2] : (((s__instance(V__OBJ1,s__SelfConnectedObject) & s__instance(V__OBJ2,s__SelfConnectedObject) & s__instance(V__HOLE1,s__Hole) & s__instance(V__HOLE2,s__Hole)) => (((s__hole(V__HOLE1,V__OBJ1) & s__hole(V__HOLE2,V__OBJ2) & s__overlapsSpatially(V__HOLE1,V__HOLE2)) => (s__overlapsSpatially(V__OBJ1,V__OBJ2))))) ) )	Merge.kif 9479-9484	If a hole is a hole in a self connected object and another hole is a hole in another self connected object and the hole and the other hole is overlapsSpatially, then the self connected object and the other self connected object is overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2485-2498	If a process is an instance of desertification and the process is located at 2, then there exist an entity and another entity such that the entity is an instance of arable land and the other entity is an instance of desert and a third entity and the entity is overlapsSpatially holds during the beginning of the time of existence of the process and the third entity and the other entity is overlapsSpatially holds during the end of the time of existence of the process
( ! [V__DRYSPELL,V__AREA] : (((s__instance(V__DRYSPELL,s__Drought) & s__eventLocated(V__DRYSPELL,V__AREA)) => (~(( ? [V__RAIN, V__PLACE] : ((s__instance(V__RAIN,s__Raining) & s__instance(V__PLACE,s__Region) & s__eventLocated(V__RAIN,V__PLACE) & s__overlapsSpatially(V__PLACE,V__AREA) & s__overlapsTemporally(V__RAIN,V__DRYSPELL))))))) ) )	Weather.kif 2464-2475	If a time interval is an instance of drought and the time interval is located at 2, then there don't exist another time interval and an object such that the other time interval is an instance of raining and the object is an instance of region and the other time interval is located at 2 and the object and an entity is overlapsSpatially and the time interval overlaps the other time interval
( ! [V__DUSTSTORM,V__WIND] : (((s__instance(V__DUSTSTORM,s__DustStorm) & s__instance(V__WIND,s__Wind) & s__subProcess(V__DUSTSTORM,V__WIND)) => (( ? [V__TRANSLOCATE, V__PM, V__SAND, V__A1, V__A2, V__STRONG] : ((s__instance(V__STRONG,s__RealNumber) & (s__instance(V__A1,s__LandArea) & s__eventLocated(V__WIND,V__A1) & s__surfaceWindSpeed(V__A1,s__MeasureFn(V__STRONG,s__KnotUnitOfSpeed)) & s__greaterThan(V__STRONG,n__30) & s__instance(V__TRANSLOCATE,s__Translocation) & s__subProcess(V__TRANSLOCATE,V__DUSTSTORM) & s__objectTransferred(V__TRANSLOCATE,V__PM) & s__objectTransferred(V__TRANSLOCATE,V__SAND) & s__instance(V__PM,s__ParticulateMatter) & s__instance(V__SAND,s__Sand) & s__instance(V__A2,s__LandArea) & s__destination(V__TRANSLOCATE,V__A2) & ~(s__overlapsSpatially(V__A1,V__A2)))))))) ) )	Weather.kif 1273-1294	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , an entity and a real number such that the third object is an instance of land area and the other process is located at 2 and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the entity is an instance of land area and the transfer ends up at the entity and the third object and the entity is not overlapsSpatially
( ! [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 3918-3922	If an object is an instance of object and the object is partly located in another object, then the object and the other object is overlapsSpatially
( ! [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 9181-9187	If an entity is an instance of case role and another entity is an instance of object and the entity a physical and the other entity, then there exists a time point such that the place where the physical was at the time point and the other entity is overlapsSpatially
( ! [V__TORSO,V__LIMB] : (((s__instance(V__TORSO,s__Torso) & s__instance(V__LIMB,s__Limb)) => (~(s__overlapsSpatially(V__TORSO,V__LIMB)))) ) )	Mid-level-ontology.kif 11189-11193	If an object is an instance of torso and an entity is an instance of limb, then the object and the entity is not overlapsSpatially
( ! [V__country,V__zone,V__shelf] : (((s__instance(V__zone,s__MaritimeShelfArea) & s__instance(V__shelf,s__ContinentalShelf) & s__instance(V__country,s__Nation) & s__meetsSpatially(V__shelf,V__country) & s__claimedTerritory(V__zone,V__country)) => (s__overlapsSpatially(V__zone,V__shelf))) ) )	Geography.kif 1074-1081	If a geographic area is an instance of maritime shelf area and an object is an instance of continental shelf and an agent is an instance of nation and the object meets the agent and the agent is a claimed territory of the geographic area, then the geographic area and the object is overlapsSpatially
( ! [V__OBJ1,V__OBJ2,V__COLL] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Physical) & s__instance(V__COLL,s__Collection)) => (((s__member(V__OBJ1,V__COLL) & s__member(V__OBJ2,V__COLL) & ~((V__OBJ1 = V__OBJ2))) => (~(s__overlapsSpatially(V__OBJ1,V__OBJ2)))))) ) )	Merge.kif 9173-9179	If an object is a member of a collection and a physical is a member of the collection and the object is not equal to the physical, then the object and the physical is not overlapsSpatially
( ! [V__O,V__E1,V__E2] : (((s__instance(V__O,s__Object) & s__instance(V__E1,s__Object) & s__instance(V__E2,s__Object)) => (((s__physicalEnd(V__E1,V__O) & s__physicalEnd(V__E2,V__O) & ~((V__E1 = V__E2))) => (~(s__overlapsSpatially(V__E1,V__E2)))))) ) )	Mid-level-ontology.kif 1210-1217	If one end of an object is another object and one end of the object is a third object and the other object is not equal to the third object, then the other object and the third object is not overlapsSpatially
( ! [V__WC,V__N] : (((s__instance(V__WC,s__WireCoil) & s__instance(V__N,s__Integer)) => ((s__coilCount(V__WC,V__N) => (( ? [V__C] : ((s__instance(V__C,s__Collection) & s__memberCount(V__C,V__N) & ( ! [V__M] : ((s__instance(V__M,s__Object) => ((s__member(V__M,V__C) => ((s__attribute(V__M,s__ClosedTwoDimensionalFigure) & s__part(V__M,V__WC) & ~(( ? [V__M2] : ((s__instance(V__M2,s__Object) & (s__overlapsSpatially(V__M2,V__M) & s__member(V__M2,V__C)))))))))))))))))))) ) )	Cars.kif 3131-3147	If the number of coils in a wire coil is an integer, then there exists a collection such that the collection is an instance of collection and the integer is a member count of the collection and for all an object if the object is a member of the collection, then closed two dimensional figure is an attribute of the object and the object is a part of the wire coil and there doesn't exist the object2 such that the object2 and the object is overlapsSpatially and the object2 is a member of the collection
( ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => ((s__connected(V__OBJ1,V__OBJ2) => ((s__meetsSpatially(V__OBJ1,V__OBJ2) \| s__overlapsSpatially(V__OBJ1,V__OBJ2)))))) ) )	Merge.kif 9103-9107	If an object is connected to another object, then the object meets the other object or the object and the other object is overlapsSpatially
( ! [V__OBJ1,V__HOLE] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__HOLE,s__Hole)) => (((V__OBJ1 = s__HoleSkinFn(V__HOLE)) => (( ! [V__OBJ2] : ((s__instance(V__OBJ2,s__Object) => (((s__overlapsSpatially(V__OBJ2,V__OBJ1) => ( ? [V__OBJ3] : ((s__instance(V__OBJ3,s__Object) & (s__superficialPart(V__OBJ3,s__HoleHostFn(V__HOLE)) & s__meetsSpatially(V__HOLE,V__OBJ3) & s__overlapsSpatially(V__OBJ2,V__OBJ3)))))) & (( ? [V__OBJ3] : ((s__instance(V__OBJ3,s__Object) & (s__superficialPart(V__OBJ3,s__HoleHostFn(V__HOLE)) & s__meetsSpatially(V__HOLE,V__OBJ3) & s__overlapsSpatially(V__OBJ2,V__OBJ3))))) => s__overlapsSpatially(V__OBJ2,V__OBJ1))))))))))) ) )	Merge.kif 9653-9662	If an object is equal to the surface of the hole a hole, then for all another object the other object and the object is overlapsSpatially if and only if there exists a third object such that the third object is a superficial part of the host of the hole the hole and the hole meets the third object and the other object and the third object is overlapsSpatially
( ! [V__OBJ,V__HOLE] : (((s__instance(V__OBJ,s__SelfConnectedObject) & s__instance(V__HOLE,s__Hole)) => ((s__hole(V__HOLE,V__OBJ) => (~(s__overlapsSpatially(V__HOLE,V__OBJ)))))) ) )	Merge.kif 9448-9451	If a hole is a hole in a self connected object, then the hole and the self connected object is not overlapsSpatially
( ! [V__SHELF] : ((s__instance(V__SHELF,s__ContinentalShelf) => (( ? [V__MARGIN] : ((s__instance(V__MARGIN,s__ContinentalMargin) & s__properPart(V__SHELF,V__MARGIN) & s__overlapsSpatially(V__SHELF,V__MARGIN)))))) ) )	Geography.kif 5878-5884	If an object is an instance of continental shelf, then there exists an entity such that the entity is an instance of continental margin and the object is a proper part of the entity and the object and the entity is overlapsSpatially
( ! [V__SKIN] : ((s__instance(V__SKIN,s__Skin) => (( ? [V__SURFACE, V__ANIMAL] : ((s__instance(V__SURFACE,s__SelfConnectedObject) & (s__surface(V__SURFACE,V__ANIMAL) & s__part(V__SKIN,V__ANIMAL) & s__instance(V__ANIMAL,s__Animal) & s__overlapsSpatially(V__SKIN,V__SURFACE))))))) ) )	Mid-level-ontology.kif 9702-9709	If an object is an instance of skin, then there exist a self connected object and another self connected object such that the self connected object is a surface of the other self connected object and the object is a part of the other self connected object and the other self connected object is an instance of animal and the object and the self connected object is overlapsSpatially
( ! [V__WATER] : ((s__instance(V__WATER,s__Estuary) => (( ? [V__MOUTH] : ((s__instance(V__MOUTH,s__RiverMouth) & s__overlapsSpatially(V__MOUTH,V__WATER)))))) ) )	Geography.kif 4986-4991	If an entity is an instance of estuary, then there exists an object such that the object is an instance of river mouth and the object and the entity is overlapsSpatially
( ! [V__plateau] : ((s__instance(V__plateau,s__Plateau) => (( ? [V__slope] : ((s__instance(V__slope,s__SlopedArea) & s__attribute(V__slope,s__SteepTerrain) & s__overlapsSpatially(V__slope,V__plateau)))))) ) )	Geography.kif 3984-3990	If an entity is an instance of plateau, then there exists an object such that the object is an instance of sloped area and steep terrain is an attribute of the object and the object and the entity is overlapsSpatially
( ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => ((s__interiorPart(V__OBJ1,V__OBJ2) => (( ! [V__PART] : ((s__instance(V__PART,s__Object) => ((s__superficialPart(V__PART,V__OBJ2) => (~(s__overlapsSpatially(V__OBJ1,V__PART)))))))))))) ) )	Merge.kif 9270-9276	If an object is a interior part of another object, then for all a third object if the third object is a superficial part of the other object, then the object and the third object is not overlapsSpatially
( ! [V__AREA2,V__AREA1] : (((s__instance(V__AREA2,s__Object) & s__instance(V__AREA1,s__Object)) => ((s__meetsSpatially(V__AREA1,V__AREA2) => (~(s__overlapsSpatially(V__AREA1,V__AREA2)))))) ) )	Geography.kif 723-725	If an object meets another object, then the object and the other object is not overlapsSpatially
( ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => ((s__overlapsPartially(V__OBJ1,V__OBJ2) => (s__overlapsSpatially(V__OBJ1,V__OBJ2))))) ) )	Merge.kif 9214-9216	If an object partially overlaps with another object, then the object and the other object is overlapsSpatially

appearance as argument number 0

s__overlapsSpatially(s__Africa,s__NorthernHemisphere)	Geography.kif 3404-3404	Africa and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Africa,s__SouthernHemisphere)	Geography.kif 3405-3405	Africa and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Antarctica,s__EasternHemisphere)	Geography.kif 3421-3421	Antarctica and eastern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Antarctica,s__WesternHemisphere)	Geography.kif 3422-3422	Antarctica and western hemisphere is overlapsSpatially
s__overlapsSpatially(s__ArcticOcean,s__ArcticRegion)	Geography.kif 3465-3465	Arctic ocean and arctic region is overlapsSpatially
s__overlapsSpatially(s__ArcticRegion,s__EasternHemisphere)	Geography.kif 3463-3463	Arctic region and eastern hemisphere is overlapsSpatially
s__overlapsSpatially(s__ArcticRegion,s__WesternHemisphere)	Geography.kif 3464-3464	Arctic region and western hemisphere is overlapsSpatially
s__overlapsSpatially(s__Asia,s__NorthernHemisphere)	Geography.kif 3431-3431	Asia and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Asia,s__SouthernHemisphere)	Geography.kif 3432-3432	Asia and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__CaribbeanRegion,s__NorthAmerica)	Geography.kif 167-167	Caribbean region and north america is overlapsSpatially
s__overlapsSpatially(s__CaribbeanRegion,s__SouthAmerica)	Geography.kif 166-166	Caribbean region and south america is overlapsSpatially
s__overlapsSpatially(s__CentralAfrica,s__NorthernHemisphere)	Geography.kif 187-187	Central africa and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__CentralAfrica,s__SouthernHemisphere)	Geography.kif 188-188	Central africa and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__EasternAfrica,s__NorthernHemisphere)	Geography.kif 191-191	Eastern africa and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__EasternAfrica,s__SouthernHemisphere)	Geography.kif 192-192	Eastern africa and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__EasternSouthAmerica,s__NorthernHemisphere)	Geography.kif 242-242	Eastern south america and northern hemisphere is overlapsSpatially
s__overlapsSpatially(s__EasternSouthAmerica,s__SouthernHemisphere)	Geography.kif 243-243	Eastern south america and southern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Europe,s__EasternHemisphere)	Geography.kif 3426-3426	Europe and eastern hemisphere is overlapsSpatially
s__overlapsSpatially(s__Europe,s__WesternHemisphere)	Geography.kif 3427-3427	Europe and western hemisphere is overlapsSpatially
s__overlapsSpatially(s__MiddleAmerica,s__NorthAmerica)	Geography.kif 168-168	Middle america and north america is overlapsSpatially
s__overlapsSpatially(s__MiddleAmerica,s__SouthAmerica)	Geography.kif 169-169	Middle america and south america is overlapsSpatially
s__overlapsSpatially(s__MiddleEastRegion,s__Asia)	Geography.kif 146-146	Middle east region and asia is overlapsSpatially
s__overlapsSpatially(s__NorthernAfrica,s__EasternHemisphere)	Geography.kif 194-194	Northern africa and eastern hemisphere is overlapsSpatially
s__overlapsSpatially(s__NorthernAfrica,s__WesternHemisphere)	Geography.kif 195-195	Northern africa and western hemisphere is overlapsSpatially
s__overlapsSpatially(s__NorthernSouthAmerica,s__NorthernHemisphere)	Geography.kif 246-246	Northern south america and northern hemisphere is overlapsSpatially

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

KB Term:			Term intersection

English Word: