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 |
|
| (instance located AntisymmetricRelation) | Merge.kif 4176-4176 | located is an instance of antisymmetric relation |
| (instance located TransitiveRelation) | Merge.kif 4177-4177 | located is an instance of transitive relation |
| (instance located TotalValuedRelation) | Merge.kif 4178-4178 | located is an instance of total valued relation |
| (subrelation located partlyLocated) | Merge.kif 4179-4179 | located is a subrelation of partly located |
| (domain located 1 Physical) | Merge.kif 4181-4181 | The number 1 argument of located is an instance of physical |
| (domain located 2 Object) | Merge.kif 4182-4182 | The number 2 argument of located is an instance of object |
| (documentation located 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 |
|
|
| (=> (located ?OBJ1 ?OBJ2) (forall (?SUB) (=> (part ?SUB ?OBJ1) (located ?SUB ?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 |
| (=> (and (attribute ?W Windy) (located ?W ?L) (equal ?T (WhenFn ?W)) (holdsDuring ?T (surfaceWindSpeed ?L (MeasureFn ?N MilesPerHour)))) (greaterThan ?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 |
| (=> (and (instance ?DISCOVER Discovering) (agent ?DISCOVER ?A) (patient ?DISCOVER ?OBJ) (holdsDuring (WhenFn ?DISCOVER) (located ?OBJ ?PLACE))) (holdsDuring (ImmediateFutureFn (WhenFn ?DISCOVERING)) (knows ?A (located ?OBJ ?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 |
| (=> (and (located ?T ?R) (instance ?T Toilet) (instance ?R Room)) (instance ?R 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 |
| (=> (and (wears ?P ?C) (located ?C ?W) (instance ?C Clock) (instance ?W Wrist) (part ?W ?P)) (instance ?C 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 |
| (=> (and (instance ?I Itching) (located ?I ?P) (part ?P ?H) (experiencer ?I ?H)) (desires ?H (exists (?S) (and (instance ?S Scratching) (during (WhenFn ?S) (WhenFn ?I)) (located ?S ?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 |
| (=> (and (instance ?UNIT CommercialUnit) (instance ?ORG Organization) (located ?ORG ?UNIT)) (not (exists (?OTHER) (and (instance ?OTHER Organization) (located ?OTHER ?UNIT) (not (equal ?OTHER ?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 |
| (=> (and (instance ?SEAT AuditoriumSeat) (part ?SEAT ?AUDITORIUM) (part ?STAGE ?AUDITORIUM) (instance ?AUDITORIUM Auditorium) (instance ?STAGE PerformanceStage) (located ?PERSON ?SEAT) (instance ?PERSON Human)) (capability (KappaFn ?SEEING (and (instance ?SEEING Seeing) (patient ?SEEING ?STAGE))) agent ?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 |
| (=> (and (instance ?FR FlowRegion) (located ?FLUID ?FR)) (attribute ?FLUID 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 |
| (=> (and (instance ?RC RibCage) (part ?RC ?H) (instance ?H Human) (attribute ?H Living) (not (and (instance ?P PathologicProcess) (located ?P ?H)))) (exists (?HT ?LG) (and (instance ?HT Heart) (instance ?HT Lung) (contains ?RC ?LG) (contains ?RC ?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 |
| (=> (and (instance ?HA HeartAttack) (instance ?H Heart) (located ?HA ?H)) (exists (?M) (and (instance ?M Muscle) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?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 |
| (=> (and (instance ?HA Stroke) (instance ?H Brain) (located ?HA ?H)) (exists (?M) (and (instance ?M NerveCell) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?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 |
| (=> (and (instance ?S Stroke) (instance ?B Brain) (located ?S ?B)) (exists (?N ?D) (and (instance ?N NerveCell) (located ?N ?B) (instance ?D Destruction) (subProcess ?D ?S) (patient ?D ?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 |
| (=> (and (instance ?R CentrifugalMotion) (instance ?O Object) (moves ?R ?O) (instance ?A Object) (located ?A ?O)) (modalAttribute (exists (?M) (and (instance ?M MovingAwayFrom) (changesLocation ?M ?A) (origin ?M ?O) (causes ?R ?M))) 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 |
| (=> (and (instance ?P Pushing) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?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 |
| (=> (and (instance ?P Pulling) (origin ?P ?O) (agent ?P ?A) (holdsDuring (BeginFn ?P) (located ?A ?ALOC)) (destination ?P ?D)) (holdsDuring (ImmediateFutureFn (BeginFn ?P)) (exists (?LARGER ?U ?SMALLER) (and (distance ?ALOC ?D (MeasureFn ?SMALLER ?U)) (distance ?ALOC ?O (MeasureFn ?LARGER ?U)) (greaterThan ?LARGER ?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 |
| (=> (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER)) (modalAttribute (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ)))) 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 |
| (=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn 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 |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO)) |
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 |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
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 |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
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 |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO)) |
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 |
| (<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
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 |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?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 |
| (=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?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 |
|
|
| (=> (instance ?PHYS Physical) (exists (?LOC ?TIME) (and (located ?PHYS ?LOC) (time ?PHYS ?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 |
| (=> (and (instance ?OBJ1 Object) (partlyLocated ?OBJ1 ?OBJ2)) (exists (?SUB) (and (part ?SUB ?OBJ1) (located ?SUB ?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 |
| (=> (located ?OBJ1 ?OBJ2) (forall (?SUB) (=> (part ?SUB ?OBJ1) (located ?SUB ?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 |
| (=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (BeginFn (WhenFn ?MOTION)) (located ?OBJ ?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 |
| (=> (and (instance ?MOTION Motion) (moves ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (EndFn (WhenFn ?MOTION)) (located ?OBJ ?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 |
| (=> (and (instance ?SWIM Swimming) (agent ?SWIM ?AGENT)) (exists (?AREA) (and (instance ?AREA WaterArea) (located ?AGENT ?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 |
| (=> (objectTransferred ?P ?OBJ) (exists (?O ?D) (and (origin ?P ?O) (destination ?P ?D) (holdsDuring (ImmediatePastFn (WhenFn ?P)) (located ?OBJ ?O)) (holdsDuring (ImmediateFutureFn (WhenFn ?P)) (located ?OBJ ?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 |
| (=> (and (instance ?REMOVE Removing) (origin ?REMOVE ?PLACE) (patient ?REMOVE ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE)) (holdsDuring (EndFn (WhenFn ?REMOVE)) (not (located ?OBJ ?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 |
| (=> (and (instance ?PUT Putting) (destination ?PUT ?PLACE) (patient ?PUT ?OBJ)) (and (holdsDuring (BeginFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE))) (holdsDuring (EndFn (WhenFn ?PUT)) (located ?OBJ ?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 |
| (=> (and (instance ?MOVEMENT Translocation) (origin ?MOVEMENT ?PLACE1)) (exists (?PLACE2 ?STAGE) (and (instance ?PLACE2 Region) (not (equal ?PLACE1 ?PLACE2)) (subProcess ?STAGE ?MOVEMENT) (located ?STAGE ?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 |
| (=> (and (instance ?DISCOVER Discovering) (agent ?DISCOVER ?A) (patient ?DISCOVER ?OBJ) (holdsDuring (WhenFn ?DISCOVER) (located ?OBJ ?PLACE))) (holdsDuring (ImmediateFutureFn (WhenFn ?DISCOVERING)) (knows ?A (located ?OBJ ?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 |
| (=> (and (instance ?KEEP Keeping) (patient ?KEEP ?OBJ)) (exists (?PLACE) (forall (?TIME) (=> (temporalPart ?TIME (WhenFn ?KEEP)) (holdsDuring ?TIME (located ?OBJ ?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 |
| (=> (instance ?S Searching) (exists (?AGENT ?OBJ ?LOC) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?OBJ Physical) (patient ?S ?OBJ) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S ?AGENT (knows ?AGENT (located ?OBJ ?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 |
| (=> (and (instance ?S Searching) (patient ?S ?OBJ) (instance ?OBJ Physical)) (exists (?LOC ?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?S ?AGENT) (instance ?LOC Object) (located ?OBJ ?LOC) (hasPurposeForAgent ?S ?AGENT (knows ?AGENT (located ?OBJ ?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 |
| (=> (holdsDuring ?T1 (inhabits ?ORGANISM ?OBJ)) (exists (?TIME) (and (instance ?TIME TimeInterval) (temporalPart ?TIME ?T1) (holdsDuring ?TIME (located ?ORGANISM ?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 |
| (=> (and (instance ?VIRUS Virus) (instance ?PROC Replication) (agent ?PROC ?VIRUS)) (exists (?CELL) (and (located ?PROC ?CELL) (instance ?CELL 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 |
| (=> (instance ?ARTIFACT StationaryArtifact) (exists (?PLACE) (and (holdsDuring (WhenFn ?ARTIFACT) (located ?ARTIFACT ?PLACE)) (not (exists (?P2) (and (holdsDuring (WhenFn ?ARTIFACT) (located ?ARTIFACT ?P2)) (not (equal ?PLACE ?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 |
| (=> (instance ?BUILDING Building) (exists (?HUMAN) (and (instance ?HUMAN Human) (or (inhabits ?HUMAN ?BUILDING) (exists (?ACT) (and (agent ?ACT ?HUMAN) (located ?ACT ?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 |
| (=> (wears ?AGENT ?WI) (located ?WI ?AGENT)) |
Merge.kif 16273-16275 | If X wears Y, then Y is located at X |
| (=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?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 |
| (=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?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 |
| (=> (orientation ?OBJ1 ?OBJ2 On) (located ?OBJ1 ?OBJ2)) |
Merge.kif 17504-17506 | If X is on to Y, then X is located at Y |
| (=> (attribute ?ORG Embryonic) (exists (?BODY) (and (instance ?BODY ReproductiveBody) (located ?ORG ?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 |
| (=> (and (instance ?S Shooting) (instance ?G Gun) (instrument ?S ?G)) (exists (?E ?GB ?B ?C ?M) (and (subProcess ?E ?S) (instance ?E Exiting) (eventLocated ?E ?GB) (instance ?GB GunBarrel) (part ?GB ?G) (objectTransferred ?E ?B) (instance ?B Bullet) (origin ?B ?C) (instance ?C BulletCartridge) (located ?C ?GB) (path ?E ?GB) (entrance ?M ?GB) (instance ?M 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 |
| (=> (instance ?SEAT Seat) (hasPurpose ?SEAT (exists (?PERSON) (and (instance ?PERSON Human) (located ?PERSON ?SEAT) (attribute ?PERSON 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 |
|
|
| (equal (OrganismPopulationFn ?O ?AREA) (CardinalityFn (KappaFn ?OI (and (instance ?OI ?O) (located ?OI ?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 |
| (holdsDuring (WhenFn JesusOfNazareth) (located JesusOfNazareth 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 |
|
|
|