Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| located |
| appearance as argument number 1 |
|
| s__instance(s__located,s__AntisymmetricRelation)
|
Merge.kif 4176-4176 | located is an instance of antisymmetric relation |
| s__instance(s__located,s__TransitiveRelation)
|
Merge.kif 4177-4177 | located is an instance of transitive relation |
| s__instance(s__located,s__TotalValuedRelation)
|
Merge.kif 4178-4178 | located is an instance of total valued relation |
| s__subrelation(s__located,s__partlyLocated)
|
Merge.kif 4179-4179 | located is a subrelation of partly located |
| 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__located,n__2,s__Object)
|
Merge.kif 4182-4182 | The number 2 argument of located is an instance of object |
| s__documentation(s__located, s__EnglishLanguage, "(located ?OBJ1 ?OBJ2) means that ?OBJ1 is partlyLocated at ?OBJ2, and there is no part of ?OBJ1 that is not located at ?OBJ2_") | Merge.kif 4184-4186 | The number 2 argument of located is an instance of object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => (s__located(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 4188-4193 | If X is located at Y, then For all Object Z: if Z is a part of X, then Z is located at Y |
| ! [V__L : $i,V__N : $real,V__T : $i,V__W : $i] : (((s__attribute(V__W, s__Windy) & s__located(V__W, V__L) & V__T = s__WhenFn(V__W) & s__holdsDuring(V__T, s__surfaceWindSpeed(V__L, s__MeasureFn(V__N, s__MilesPerHour)))) => ($greater(V__N,20.0)))) | Merge.kif 11545-11553 | If windy is an attribute of X, X is located at Y, equal Z and the time of existence of X, and W miles per hour(s) is a surface wind speed of Y holds during Z, then W is greater than 20.0 |
| ! [V__A : $i,V__DISCOVER : $i,V__DISCOVERING : $i,V__OBJ : $i,V__PLACE : $i] : (((s__instance(V__DISCOVER, s__Discovering) & s__agent(V__DISCOVER, V__A) & s__patient(V__DISCOVER, V__OBJ) & s__holdsDuring(s__WhenFn(V__DISCOVER), s__located(V__OBJ, V__PLACE))) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DISCOVERING)), s__knows(V__A, s__located(V__OBJ, V__PLACE))))) | Merge.kif 12256-12268 | If X is an instance of discovering, Y is an agent of X, Z is a patient of X, and Z is located at W holds during the time of existence of X, then Y knows Z is located at W holds during immediately after the time of existence of V |
| ! [V__T,V__R] : (((s__located(V__T,V__R) & s__instance(V__T,s__Toilet) & s__instance(V__R,s__Room)) => s__instance(V__R,s__Bathroom)) )
|
Mid-level-ontology.kif 2801-2806 | If X is located at Y, X is an instance of toilet, and Y is an instance of room, then Y is an instance of bathroom |
| ! [V__P,V__C,V__W] : ((s__instance(V__P,s__Animal) => ((s__wears(V__P,V__C) & s__located(V__C,V__W) & s__instance(V__C,s__Clock) & s__instance(V__W,s__Wrist) & s__part(V__W,V__P)) => s__instance(V__C,s__WatchClock))) )
|
Mid-level-ontology.kif 3524-3531 | If X wears Y, Y is located at Z, Y is an instance of clock, Z is an instance of wrist, and Z is a part of X, then Y is an instance of watch clock |
| ! [V__H : $i,V__I : $i,V__P : $i] : (((s__instance(V__I, s__Itching) & s__located(V__I, V__P) & s__part(V__P, V__H) & s__experiencer(V__I, V__H)) => s__desires(V__H, ( ? [V__S:$i] : ((s__instance(V__S, s__Scratching) & s__during(s__WhenFn(V__S), s__WhenFn(V__I)) & s__located(V__S, V__P))))))) | Mid-level-ontology.kif 6844-6855 | If X is an instance of pruritus, X is located at Y, Y is a part of Z, and Z experiences X, then Z desires there exists W such that W is an instance of scratching, the time of existence of W takes place during the time of existence of X, and W is located at Y |
| ! [V__UNIT,V__ORG] : (((s__instance(V__UNIT,s__CommercialUnit) & s__instance(V__ORG,s__Organization) & s__located(V__ORG,V__UNIT)) => ~((? [V__OTHER] : ((s__instance(V__OTHER,s__Organization) & s__located(V__OTHER,V__UNIT) & ~((V__OTHER = V__ORG))))))) )
|
Mid-level-ontology.kif 8384-8393 | If X is an instance of commercial unit, Y is an instance of organization, and Y is located at X, then there doesn't exist Z such that Z is an instance of organization, Z is located at X, equal Z, and Y |
| ! [V__AUDITORIUM : $i,V__PERSON : $i,V__SEAT : $i,V__SEEING : $i,V__STAGE : $i] : (((s__instance(V__SEAT, s__AuditoriumSeat) & s__part(V__SEAT, V__AUDITORIUM) & s__part(V__STAGE, V__AUDITORIUM) & s__instance(V__AUDITORIUM, s__Auditorium) & s__instance(V__STAGE, s__PerformanceStage) & s__located(V__PERSON, V__SEAT) & s__instance(V__PERSON, s__Human)) => s__capability(s__KappaFn(V__SEEING, (s__instance(V__SEEING, s__Seeing) & s__patient(V__SEEING, V__STAGE))), s__agent, V__PERSON))) | Mid-level-ontology.kif 8648-8661 | If All of the following hold: (1) X is an instance of auditorium seat (2) X is a part of Y (3) Z is a part of Y (4) Y is an instance of auditorium (5) Z is an instance of performance stage (6) W is located at X (7) W is an instance of human, then W is capable of doing the class described by V as a agent |
| ! [V__FLUID,V__FR] : ((s__instance(V__FLUID,s__Object) => ((s__instance(V__FR,s__FlowRegion) & s__located(V__FLUID,V__FR)) => s__attribute(V__FLUID,s__Fluid))) )
|
Mid-level-ontology.kif 10428-10432 | If X is an instance of flow region and Y is located at X, then fluid is an attribute of Y |
| ! [V__RC,V__H,V__P] : (((s__instance(V__RC,s__RibCage) & s__part(V__RC,V__H) & s__instance(V__H,s__Human) & s__attribute(V__H,s__Living) & ~((s__instance(V__P,s__PathologicProcess) & s__located(V__P,V__H)))) => (? [V__HT,V__LG] : ((s__instance(V__LG,s__Object) & (s__instance(V__HT,s__Heart) & s__instance(V__HT,s__Lung) & s__contains(V__RC,V__LG) & s__contains(V__RC,V__HT)))))) )
|
Mid-level-ontology.kif 12743-12758 | If X is an instance of rib cage, X is a part of Y, Y is an instance of human, living is an attribute of Y, and ~{ Z is an instance of pathologic process } or ~{ Z is located at Y }, then there exist W, V such that W is an instance of heart, W is an instance of lung, X contains V, and X contains W |
| ! [V__HA,V__H] : (((s__instance(V__HA,s__HeartAttack) & s__instance(V__H,s__Heart) & s__located(V__HA,V__H)) => (? [V__M] : ((s__instance(V__M,s__Muscle) & s__part(V__M,V__H) & ~((? [V__BF,V__B] : ((s__instance(V__BF,s__LiquidMotion) & s__objectTransferred(V__BF,V__B) & s__instance(V__B,s__Blood) & s__during(V__BF,s__WhenFn(V__HA)) & s__destination(V__BF,V__M))))))))) )
|
Mid-level-ontology.kif 12868-12885 | If X is an instance of myocardial infarction, Y is an instance of heart, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of muscle (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z |
| ! [V__HA,V__H] : (((s__instance(V__HA,s__Stroke) & s__instance(V__H,s__Brain) & s__located(V__HA,V__H)) => (? [V__M] : ((s__instance(V__M,s__NerveCell) & s__part(V__M,V__H) & ~((? [V__BF,V__B] : ((s__instance(V__BF,s__LiquidMotion) & s__objectTransferred(V__BF,V__B) & s__instance(V__B,s__Blood) & s__during(V__BF,s__WhenFn(V__HA)) & s__destination(V__BF,V__M))))))))) )
|
Mid-level-ontology.kif 13415-13432 | If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of nerve cell (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z |
| ! [V__S,V__B] : (((s__instance(V__S,s__Stroke) & s__instance(V__B,s__Brain) & s__located(V__S,V__B)) => (? [V__N,V__D] : ((s__instance(V__N,s__NerveCell) & s__located(V__N,V__B) & s__instance(V__D,s__Destruction) & s__subProcess(V__D,V__S) & s__patient(V__D,V__N))))) )
|
Mid-level-ontology.kif 13434-13445 | If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then there exist Z, W such that Z is an instance of nerve cell, Z is located at Y, W is an instance of destruction, W is a subprocess of X, and Z is a patient of W |
| ! [V__A : $i,V__O : $i,V__R : $i] : (((s__instance(V__R, s__CentrifugalMotion) & s__instance(V__O, s__Object) & s__moves(V__R, V__O) & s__instance(V__A, s__Object) & s__located(V__A, V__O)) => s__modalAttribute(( ? [V__M:$i] : ((s__instance(V__M, s__MovingAwayFrom) & s__changesLocation(V__M, V__A) & s__origin(V__M, V__O) & s__causes(V__R, V__M)))), s__Likely))) | Mid-level-ontology.kif 19414-19427 | If X is an instance of centrifugal motion, Y is an instance of object, Y moves during X, Z is an instance of object, and Z is located at Y, then the statement there exists W such that W is an instance of moving away from, Z is a changes location of W, W originates at Y, and X causes W has the modal force of likely |
| ! [V__A : $i,V__ALOC : $i,V__D : $i,V__O : $i,V__P : $i] : (((s__instance(V__P, s__Pushing) & s__origin(V__P, V__O) & s__agent(V__P, V__A) & s__holdsDuring(s__BeginFn(V__P), s__located(V__A, V__ALOC)) & s__destination(V__P, V__D)) => s__holdsDuring(s__ImmediateFutureFn(s__BeginFn(V__P)), ( ? [V__LARGER:$real, V__U:$i, V__SMALLER:$real] : ((s__distance(V__ALOC, V__D, s__MeasureFn(V__SMALLER, V__U)) & s__distance(V__ALOC, V__O, s__MeasureFn(V__LARGER, V__U)) & ($greater(V__LARGER,V__SMALLER)))))))) | Mid-level-ontology.kif 19536-19554 | If X is an instance of pushing, X originates at Y, Z is an agent of X, Z is located at W holds during the beginning of X, and X ends up at V, then there exist U, T and S such that the distance between W and V is S T(s) and the distance between W and Y is U T(s) and U is greater than S holds during immediately after the beginning of X |
| ! [V__A : $i,V__ALOC : $i,V__D : $i,V__O : $i,V__P : $i] : (((s__instance(V__P, s__Pulling) & s__origin(V__P, V__O) & s__agent(V__P, V__A) & s__holdsDuring(s__BeginFn(V__P), s__located(V__A, V__ALOC)) & s__destination(V__P, V__D)) => s__holdsDuring(s__ImmediateFutureFn(s__BeginFn(V__P)), ( ? [V__LARGER:$real, V__U:$i, V__SMALLER:$real] : ((s__distance(V__ALOC, V__D, s__MeasureFn(V__SMALLER, V__U)) & s__distance(V__ALOC, V__O, s__MeasureFn(V__LARGER, V__U)) & ($greater(V__LARGER,V__SMALLER)))))))) | Mid-level-ontology.kif 19558-19576 | If X is an instance of pulling, X originates at Y, Z is an agent of X, Z is located at W holds during the beginning of X, and X ends up at V, then there exist U, T and S such that the distance between W and V is S T(s) and the distance between W and Y is U T(s) and U is greater than S holds during immediately after the beginning of X |
| ! [V__CBO : $i,V__CUT : $i,V__INFO : $i,V__PAPER : $i,V__X : $i] : (((s__instance(V__X, s__PaperShredder) & s__instance(V__CUT, s__Cutting) & s__instance(V__CBO, s__VisualContentBearingObject) & s__containsInformation(V__CBO, V__INFO) & s__instrument(V__CUT, V__X) & s__instance(V__PAPER, s__Paper) & s__patient(V__CUT, V__PAPER) & s__located(V__CBO, V__PAPER)) => s__modalAttribute(( ? [V__READ:$i] : ((s__instance(V__READ, s__Interpreting) & s__patient(V__READ, V__INFO) & s__earlier(s__WhenFn(V__CUT), s__WhenFn(V__READ))))), s__Unlikely))) | Mid-level-ontology.kif 20134-20151 | If All of the following hold: (1) X is an instance of paper shredder (2) Y is an instance of cutting (3) Z is an instance of visual content bearing object (4) Z contains information W (5) X is an instrument for Y (6) V is an instance of paper (7) V is a patient of Y (8) Z is located at V, then the statement there exists U such that U is an instance of interpreting, W is a patient of U, and the time of existence of Y happens earlier than the time of existence of U has the modal force of unlikely |
| ! [V__CUST : $i,V__REST : $i,V__TABLE : $i,V__X : $i] : (((s__attribute(V__X, s__Waiter) & s__instance(V__X, s__Human) & s__employs(V__REST, V__X) & s__instance(V__REST, s__Restaurant) & s__customer(V__CUST, V__REST) & s__located(V__CUST, V__TABLE) & s__instance(V__TABLE, s__Table)) => ( ? [V__DINING:$i, V__C:$i, V__FOOD:$i, V__KITCHEN:$i] : ((s__possesses(V__REST, V__KITCHEN) & s__instance(V__KITCHEN, s__KitchenArea) & s__instance(V__DINING, s__DiningArea) & s__located(V__TABLE, V__DINING) & s__hasPurpose(V__X, (s__instance(V__C, s__Carrying) & s__agent(V__C, V__X) & s__origin(V__C, V__KITCHEN) & s__destination(V__C, V__TABLE) & s__patient(V__C, V__FOOD) & s__instance(V__FOOD, s__FoodForFn(s__Human))))))))) | Mid-level-ontology.kif 22843-22865 | If All of the following hold: (1) waiter is an attribute of X (2) X is an instance of human (3) Y employs X (4) Y is an instance of restaurant (5) Y is a customer of Z (6) Z is located at W (7) W is an instance of table, then All of the following hold: (1) there exist V, U,, , T (2) S such that Y possesses S (3) S is an instance of kitchen area (4) V is an instance of dining area (5) W is located at V (6) X has the purpose U is an instance of carrying (7) X is an agent of U (8) U originates at S (9) U ends up at W (10) T is a patient of U (11) T is an instance of food for human |
| ! [V__PLACE,V__GEO] : ((((s__located(V__PLACE,V__GEO) & s__instance(V__PLACE,s__PostalPlace) & s__instance(V__GEO,s__Neighborhood)) => s__postNeighborhood(V__PLACE,V__GEO)) & (s__postNeighborhood(V__PLACE,V__GEO) => (s__located(V__PLACE,V__GEO) & s__instance(V__PLACE,s__PostalPlace) & s__instance(V__GEO,s__Neighborhood)))) )
|
Mid-level-ontology.kif 26958-26963 | X is located at Y, X is an instance of postal place, Y is an instance of neighborhood if, and only if X is in Y |
| ! [V__PLACE,V__GEO] : ((((s__located(V__PLACE,V__GEO) & s__instance(V__PLACE,s__PostalPlace) & (s__instance(V__GEO,s__Nation) | s__instance(V__GEO,s__DependencyOrSpecialSovereigntyArea))) => s__postCountry(V__PLACE,V__GEO)) & (s__postCountry(V__PLACE,V__GEO) => (s__located(V__PLACE,V__GEO) & s__instance(V__PLACE,s__PostalPlace) & (s__instance(V__GEO,s__Nation) | s__instance(V__GEO,s__DependencyOrSpecialSovereigntyArea))))) )
|
Mid-level-ontology.kif 26995-27002 | X is located at Y, X is an instance of postal place, Y is an instance of nation or Y is an instance of dependency or special sovereignty area if, and only if X is in Y |
| ! [V__PLACE,V__GEO] : ((((s__located(V__PLACE,V__GEO) & s__instance(V__PLACE,s__PostalPlace) & s__instance(V__GEO,s__StateOrProvince)) => s__postDistrict(V__PLACE,V__GEO)) & (s__postDistrict(V__PLACE,V__GEO) => (s__located(V__PLACE,V__GEO) & s__instance(V__PLACE,s__PostalPlace) & s__instance(V__GEO,s__StateOrProvince)))) )
|
Mid-level-ontology.kif 27029-27034 | X is located at Y, X is an instance of postal place, Y is an instance of state or province if, and only if X is in Y |
| ! [V__PLACE,V__GEO] : ((((s__located(V__PLACE,V__GEO) & s__instance(V__PLACE,s__PostalPlace) & s__instance(V__GEO,s__City)) => s__postCity(V__PLACE,V__GEO)) & (s__postCity(V__PLACE,V__GEO) => (s__located(V__PLACE,V__GEO) & s__instance(V__PLACE,s__PostalPlace) & s__instance(V__GEO,s__City)))) )
|
Mid-level-ontology.kif 27045-27050 | X is located at Y, X is an instance of postal place, Y is an instance of city if, and only if X is in Y |
| ! [V__PLACE,V__AREA] : ((((s__located(V__PLACE,V__AREA) & s__instance(V__PLACE,s__PostalPlace) & s__instance(V__AREA,s__PostcodeArea)) => s__postPostcodeArea(V__PLACE,V__AREA)) & (s__postPostcodeArea(V__PLACE,V__AREA) => (s__located(V__PLACE,V__AREA) & s__instance(V__PLACE,s__PostalPlace) & s__instance(V__AREA,s__PostcodeArea)))) )
|
Mid-level-ontology.kif 27072-27077 | X is located at Y, X is an instance of postal place, Y is an instance of postcode area if, and only if X is in post code Y |
| ! [V__AGENT : $i,V__DEVICE : $i,V__NUMBER : $i,V__PLACE : $i,V__TIME : $i] : ((s__holdsDuring(V__TIME, (s__deviceTelecomNumber(V__NUMBER, V__DEVICE) & s__homePhoneNumber(V__NUMBER, V__AGENT) & s__located(V__DEVICE, V__PLACE) & s__instance(V__PLACE, s__PermanentResidence))) => s__holdsDuring(V__TIME, s__home(V__AGENT, V__PLACE)))) | Mid-level-ontology.kif 27308-27315 | If X has number Y, Y is the home phone of Z, X is located at W, and W is an instance of permanent residence holds during V, then the home of Z is W holds during V |
| ! [V__AGENT : $i,V__DEVICE : $i,V__NUMBER : $i,V__PLACE : $i,V__TIME : $i] : (((s__instance(V__AGENT, s__Human) & s__holdsDuring(V__TIME, (s__deviceTelecomNumber(V__NUMBER, V__DEVICE) & s__telephoneNumber(V__NUMBER, V__AGENT) & s__located(V__DEVICE, V__PLACE) & s__instance(V__PLACE, s__Residence)))) => s__holdsDuring(V__TIME, s__inhabits(V__AGENT, V__PLACE)))) | Mid-level-ontology.kif 27317-27326 | If X is an instance of human and Y has number Z, Z is the telephone number of X, Y is located at W, and W is an instance of residence holds during V, then X lives in W holds during V |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| ! [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__OBJ2,V__OBJ1] : ((s__instance(V__OBJ2,s__Object) => ((s__instance(V__OBJ1,s__Object) & s__partlyLocated(V__OBJ1,V__OBJ2)) => (? [V__SUB] : ((s__instance(V__SUB,s__Object) & (s__part(V__SUB,V__OBJ1) & s__located(V__SUB,V__OBJ2))))))) )
|
Merge.kif 4167-4174 | If X is an instance of object and X is partly located in Y, then there exists Z such that Z is a part of X and Z is located at Y |
| ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => (s__located(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 4188-4193 | If X is located at Y, then For all Object Z: if Z is a part of X, then Z is located at Y |
| ! [V__MOTION : $i,V__OBJ : $i,V__PLACE : $i] : (((s__instance(V__MOTION, s__Motion) & s__moves(V__MOTION, V__OBJ) & s__origin(V__MOTION, V__PLACE)) => s__holdsDuring(s__BeginFn(s__WhenFn(V__MOTION)), s__located(V__OBJ, V__PLACE)))) | Merge.kif 11288-11293 | If X is an instance of motion, Y moves during X, and X originates at Z, then Y is located at Z holds during the beginning of the time of existence of X |
| ! [V__MOTION : $i,V__OBJ : $i,V__PLACE : $i] : (((s__instance(V__MOTION, s__Motion) & s__moves(V__MOTION, V__OBJ) & s__destination(V__MOTION, V__PLACE)) => s__holdsDuring(s__EndFn(s__WhenFn(V__MOTION)), s__located(V__OBJ, V__PLACE)))) | Merge.kif 11304-11309 | If X is an instance of motion, Y moves during X, and X ends up at Z, then Y is located at Z holds during the end of the time of existence of X |
| ! [V__AGENT,V__SWIM] : ((s__instance(V__AGENT,s__AutonomousAgent) => ((s__instance(V__SWIM,s__Swimming) & s__agent(V__SWIM,V__AGENT)) => (? [V__AREA] : ((s__instance(V__AREA,s__WaterArea) & s__located(V__AGENT,V__AREA)))))) )
|
Merge.kif 11426-11433 | If X is an instance of swimming and Y is an agent of X, then there exists Z such that Z is an instance of water area and Y is located at Z |
| ! [V__OBJ : $i,V__P : $i] : ((s__objectTransferred(V__P, V__OBJ) => ( ? [V__O:$i, V__D:$i] : ((s__origin(V__P, V__O) & s__destination(V__P, V__D) & s__holdsDuring(s__ImmediatePastFn(s__WhenFn(V__P)), s__located(V__OBJ, V__O)) & s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__P)), s__located(V__OBJ, V__D))))))) | Merge.kif 11620-11633 | If the object transferred in X is Y, then there exist Z, W such that X originates at Z, X ends up at W, Y is located at Z holds during immediately before the time of existence of X, and Y is located at W holds during immediately after the time of existence of X |
| ! [V__OBJ : $i,V__PLACE : $i,V__REMOVE : $i] : (((s__instance(V__REMOVE, s__Removing) & s__origin(V__REMOVE, V__PLACE) & s__patient(V__REMOVE, V__OBJ)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__REMOVE)), s__located(V__OBJ, V__PLACE)) & s__holdsDuring(s__EndFn(s__WhenFn(V__REMOVE)), ~(s__located(V__OBJ, V__PLACE)))))) | Merge.kif 11660-11667 | If X is an instance of removing, X originates at Y, and Z is a patient of X, then Z is located at Y holds during the beginning of the time of existence of X and Z is not located at Y holds during the end of the time of existence of X |
| ! [V__OBJ : $i,V__PLACE : $i,V__PUT : $i] : (((s__instance(V__PUT, s__Putting) & s__destination(V__PUT, V__PLACE) & s__patient(V__PUT, V__OBJ)) => (s__holdsDuring(s__BeginFn(s__WhenFn(V__PUT)), ~(s__located(V__OBJ, V__PLACE))) & s__holdsDuring(s__EndFn(s__WhenFn(V__PUT)), s__located(V__OBJ, V__PLACE))))) | Merge.kif 11681-11688 | If X is an instance of putting, X ends up at Y, and Z is a patient of X, then Z is not located at Y holds during the beginning of the time of existence of X and Z is located at Y holds during the end of the time of existence of X |
| ! [V__PLACE1,V__MOVEMENT] : ((s__instance(V__PLACE1,s__Object) => ((s__instance(V__MOVEMENT,s__Translocation) & s__origin(V__MOVEMENT,V__PLACE1)) => (? [V__PLACE2,V__STAGE] : ((s__instance(V__STAGE,s__Process) & (s__instance(V__PLACE2,s__Region) & ~((V__PLACE1 = V__PLACE2)) & s__subProcess(V__STAGE,V__MOVEMENT) & s__located(V__STAGE,V__PLACE2))))))) )
|
Merge.kif 11834-11843 | If X is an instance of translocation and X originates at Y, then there exist Z, W such that Z is an instance of region, equal Y, Z, W is a subprocess of X, and W is located at Z |
| ! [V__A : $i,V__DISCOVER : $i,V__DISCOVERING : $i,V__OBJ : $i,V__PLACE : $i] : (((s__instance(V__DISCOVER, s__Discovering) & s__agent(V__DISCOVER, V__A) & s__patient(V__DISCOVER, V__OBJ) & s__holdsDuring(s__WhenFn(V__DISCOVER), s__located(V__OBJ, V__PLACE))) => s__holdsDuring(s__ImmediateFutureFn(s__WhenFn(V__DISCOVERING)), s__knows(V__A, s__located(V__OBJ, V__PLACE))))) | Merge.kif 12256-12268 | If X is an instance of discovering, Y is an agent of X, Z is a patient of X, and Z is located at W holds during the time of existence of X, then Y knows Z is located at W holds during immediately after the time of existence of V |
| ! [V__KEEP : $i,V__OBJ : $i] : (((s__instance(V__KEEP, s__Keeping) & s__patient(V__KEEP, V__OBJ)) => ( ? [V__PLACE:$i] : (( ! [V__TIME:$i] : ((s__temporalPart(V__TIME, s__WhenFn(V__KEEP)) => s__holdsDuring(V__TIME, s__located(V__OBJ, V__PLACE))))))))) | Merge.kif 12476-12484 | If X is an instance of keeping and Y is a patient of X, then there exists Z such that W W is a part of the time of existence of XY is located at Z holds during W |
| ! [V__S : $i] : ((s__instance(V__S, s__Searching) => ( ? [V__AGENT:$i, V__OBJ:$i, V__LOC:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__OBJ, s__Physical) & s__patient(V__S, V__OBJ) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, V__AGENT, s__knows(V__AGENT, s__located(V__OBJ, V__LOC)))))))) | Merge.kif 13268-13280 | If X is an instance of searching, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of cognitive agent (3) Y is an agent of X (4) Z is an instance of physical (5) Z is a patient of X (6) W is an instance of object (7) Z is located at W (8) X has the purpose Y for Y knows Z is located at W |
| ! [V__OBJ : $i,V__S : $i] : (((s__instance(V__S, s__Searching) & s__patient(V__S, V__OBJ) & s__instance(V__OBJ, s__Physical)) => ( ? [V__LOC:$i, V__AGENT:$i] : ((s__instance(V__AGENT, s__CognitiveAgent) & s__agent(V__S, V__AGENT) & s__instance(V__LOC, s__Object) & s__located(V__OBJ, V__LOC) & s__hasPurposeForAgent(V__S, V__AGENT, s__knows(V__AGENT, s__located(V__OBJ, V__LOC)))))))) | Merge.kif 13282-13295 | If X is an instance of searching, Y is a patient of X, and Y is an instance of physical, then there exist Z, W such that W is an instance of cognitive agent, W is an agent of X, Z is an instance of object, Y is located at Z, and X has the purpose W for W knows Y is located at Z |
| ! [V__OBJ : $i,V__ORGANISM : $i,V__T1 : $i] : ((s__holdsDuring(V__T1, s__inhabits(V__ORGANISM, V__OBJ)) => ( ? [V__TIME:$i] : ((s__instance(V__TIME, s__TimeInterval) & s__temporalPart(V__TIME, V__T1) & s__holdsDuring(V__TIME, s__located(V__ORGANISM, V__OBJ))))))) | Merge.kif 14688-14694 | If X lives in Y holds during Z, then there exists W such that W is an instance of timeframe, W is a part of Z, and X is located at Y holds during W |
| ! [V__VIRUS,V__PROC] : (((s__instance(V__VIRUS,s__Virus) & s__instance(V__PROC,s__Replication) & s__agent(V__PROC,V__VIRUS)) => (? [V__CELL] : ((s__located(V__PROC,V__CELL) & s__instance(V__CELL,s__Cell))))) )
|
Merge.kif 14802-14810 | If X is an instance of virus, Y is an instance of replication, and X is an agent of Y, then there exists Z such that Y is located at Z and Z is an instance of cell |
| ! [V__ARTIFACT : $i] : ((s__instance(V__ARTIFACT, s__StationaryArtifact) => ( ? [V__PLACE:$i] : ((s__holdsDuring(s__WhenFn(V__ARTIFACT), s__located(V__ARTIFACT, V__PLACE)) & ~(( ? [V__P2:$i] : ((s__holdsDuring(s__WhenFn(V__ARTIFACT), s__located(V__ARTIFACT, V__P2)) & ~(V__PLACE = V__P2)))))))))) | Merge.kif 16012-16022 | If X is an instance of stationary artifact, then there exists Y such that X is located at Y holds during the time of existence of X, there doesn't exist Z such that X is located at Z holds during the time of existence of X, equal Y, and Z |
| ! [V__BUILDING] : ((s__instance(V__BUILDING,s__Building) => (? [V__HUMAN] : ((s__instance(V__HUMAN,s__Human) & (s__inhabits(V__HUMAN,V__BUILDING) | (? [V__ACT] : ((s__instance(V__ACT,s__Process) & (s__agent(V__ACT,V__HUMAN) & s__located(V__ACT,V__BUILDING)))))))))) )
|
Merge.kif 16028-16038 | If X is an instance of building, then there exists Y such that Y is an instance of human, Y lives in X or there exists Z such that Y is an agent of Z, and Z is located at X |
| ! [V__AGENT,V__WI] : (((s__instance(V__AGENT,s__Animal) & s__instance(V__WI,s__WearableItem)) => (s__wears(V__AGENT,V__WI) => s__located(V__WI,V__AGENT))) )
|
Merge.kif 16273-16275 | If X wears Y, then Y is located at X |
| ! [V__FROM : $i,V__MOVE : $i,V__TRANSPORT : $i] : (((s__instance(V__TRANSPORT, s__Vehicle) & s__instance(V__MOVE, s__Translocation) & s__instrument(V__MOVE, V__TRANSPORT) & s__origin(V__MOVE, V__FROM)) => s__holdsDuring(s__BeginFn(s__WhenFn(V__MOVE)), s__located(V__TRANSPORT, V__FROM)))) | Merge.kif 16337-16343 | If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y originates at Z, then X is located at Z holds during the beginning of the time of existence of Y |
| ! [V__MOVE : $i,V__TO : $i,V__TRANSPORT : $i] : (((s__instance(V__TRANSPORT, s__Vehicle) & s__instance(V__MOVE, s__Translocation) & s__instrument(V__MOVE, V__TRANSPORT) & s__destination(V__MOVE, V__TO)) => s__holdsDuring(s__BeginFn(s__WhenFn(V__MOVE)), s__located(V__TRANSPORT, V__TO)))) | Merge.kif 16345-16351 | If X is an instance of vehicle, Y is an instance of translocation, X is an instrument for Y, and Y ends up at Z, then X is located at Z holds during the beginning of the time of existence of Y |
| ! [V__OBJ1,V__OBJ2] : (((s__instance(V__OBJ1,s__Object) & s__instance(V__OBJ2,s__Object)) => (s__orientation(V__OBJ1,V__OBJ2,s__On) => s__located(V__OBJ1,V__OBJ2))) )
|
Merge.kif 17504-17506 | If X is on to Y, then X is located at Y |
| ! [V__ORG] : ((s__instance(V__ORG,s__Object) => (s__attribute(V__ORG,s__Embryonic) => (? [V__BODY] : ((s__instance(V__BODY,s__ReproductiveBody) & s__located(V__ORG,V__BODY)))))) )
|
Merge.kif 18537-18542 | If embryonic is an attribute of X, then there exists Y such that Y is an instance of reproductive body and X is located at Y |
| ! [V__S,V__G] : (((s__instance(V__S,s__Shooting) & s__instance(V__G,s__Gun) & s__instrument(V__S,V__G)) => (? [V__E,V__GB,V__B,V__C,V__M] : ((s__subProcess(V__E,V__S) & s__instance(V__E,s__Exiting) & s__eventLocated(V__E,V__GB) & s__instance(V__GB,s__GunBarrel) & s__part(V__GB,V__G) & s__objectTransferred(V__E,V__B) & s__instance(V__B,s__Bullet) & s__origin(V__B,V__C) & s__instance(V__C,s__BulletCartridge) & s__located(V__C,V__GB) & s__path(V__E,V__GB) & s__entrance(V__M,V__GB) & s__instance(V__M,s__GunMuzzle))))) )
|
Mid-level-ontology.kif 1397-1416 | If X is an instance of shooting, Y is an instance of gun, and Y is an instrument for X, then All of the following hold: (1) there exist Z, W,, , V,, , U (2) T such that Z is a subprocess of X (3) Z is an instance of exiting (4) Z is located at W (5) W is an instance of gun barrel (6) W is a part of Y (7) the object transferred in Z is V (8) V is an instance of bullet (9) V originates at U (10) U is an instance of bullet cartridge (11) U is located at W (12) W is path along which Z occurs (13) T is the entrance for W (14) T is an instance of gun muzzle |
| ! [V__SEAT : $i] : ((s__instance(V__SEAT, s__Seat) => s__hasPurpose(V__SEAT, ( ? [V__PERSON:$i] : ((s__instance(V__PERSON, s__Human) & s__located(V__PERSON, V__SEAT) & s__attribute(V__PERSON, s__Sitting))))))) | Mid-level-ontology.kif 4366-4373 | If X is an instance of seat, then X has the purpose there exists Y such that Y is an instance of human, Y is located at X, and sitting is an attribute of Y |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| ! [V__AREA : $i,V__O : $i,V__OI : $i] : (s__OrganismPopulationFn(V__O, V__AREA) = s__CardinalityFn(s__KappaFn(V__OI, (s__instance(V__OI, V__O) & s__located(V__OI, V__AREA))))) | Mid-level-ontology.kif 34167-34172 | equal individuals of type X in Y. and the number of instances in the class described by Z |
| s__holdsDuring(s__WhenFn(s__JesusOfNazareth), s__located(s__JesusOfNazareth, s__Palestine)) | Media.kif 1867-1867 | Jesus of Nazareth is located at palestine holds during the time of existence of Jesus of Nazareth |
| appearance as argument number 0 |
|
|
|