Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
On(on)
|  | aboveground, ahorse, ahorseback, cap, capped, crest, crowned, grade-constructed, horseback, overlying, superimposed, superincumbent, surface, surmount, surmounted |
| appearance as argument number 1 |
|
|
| (instance On AntiSymmetricPositionalAttribute) | Merge.kif 17495-17495 | On is an instance of anti_symmetric positional attribute |
| (documentation On EnglishLanguage "This is used to assert that an object is on top of another object, and it is derived from the up/ down schema and involves contact.") | Merge.kif 17496-17498 | On is an instance of anti_symmetric positional attribute |
| (externalImage On "http://upload.wikimedia.org/wikipedia/commons/e/e4/Pink_and_grey_galahs_on_power_lines.jpg") | pictureList.kif 10163-10163 | On is an instance of anti_symmetric positional attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2)) |
Merge.kif 11635-11640 | If X is an instance of transfer, the object transferred in X is Y, and Z is on to Y, then the object transferred in X is Z |
| (=> (orientation ?OBJ1 ?OBJ2 On) (connected ?OBJ1 ?OBJ2)) |
Merge.kif 17500-17502 | If X is on to Y, then X is connected to Y |
| (=> (orientation ?OBJ1 ?OBJ2 On) (located ?OBJ1 ?OBJ2)) |
Merge.kif 17504-17506 | If X is on to Y, then X is located at Y |
| (=> (orientation ?OBJ1 ?OBJ2 On) (not (orientation ?OBJ2 ?OBJ1 On))) |
Merge.kif 17508-17511 | If X is on to Y, then Y is not on to X |
| (=> (and (holdsDuring ?T (and (attribute ?H Prone) (orientation ?H ?O On))) (instance ?C Chest) (part ?C ?H)) (meetsSpatially ?C ?O)) |
Anatomy.kif 1821-1829 | If prone is an attribute of X and X is on to Y holds during Z, W is an instance of chest, and W is a part of X, then W meets Y |
| (=> (and (holdsDuring ?T (and (attribute ?H Supine) (orientation ?H ?O On))) (equal ?B (BackFn ?H))) (meetsSpatially ?B ?O)) |
Anatomy.kif 1836-1843 | If supine is an attribute of X and X is on to Y holds during Z and equal W and the back of X, then W meets Y |
| (=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?LA ?O) (meetsSpatially ?LL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?RA ?O)) (not (meetsSpatially ?RL ?O))))) |
Anatomy.kif 1860-1882 | If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) W meets Y or U meets Y, then V doesn't meet Y and T doesn't meet Y holds during Z |
| (=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?RA ?O) (meetsSpatially ?RL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?LA ?O)) (not (meetsSpatially ?LL ?O))))) |
Anatomy.kif 1884-1906 | If All of the following hold: (1) lateral recumbant is an attribute of X and X is on to Y holds during Z (2) W is an instance of left arm (3) W is a part of X (4) V is an instance of right arm (5) V is a part of X (6) U is an instance of left leg (7) U is a part of X (8) T is an instance of right leg (9) T is a part of X (10) V meets Y or T meets Y, then W doesn't meet Y and U doesn't meet Y holds during Z |
| consequent |
|
|
| (<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 17445-17449 | X is below to Y if and only if Y is on to X or Y is above to X |
| (=> (orientation ?OBJ1 ?OBJ2 On) (not (orientation ?OBJ2 ?OBJ1 On))) |
Merge.kif 17508-17511 | If X is on to Y, then Y is not on to X |
| (=> (and (instance ?M Mounting) (agent ?M ?A) (patient ?M ?O)) (and (holdsDuring (BeginFn (WhenFn ?M)) (not (orientation ?A ?O On))) (holdsDuring (EndFn (WhenFn ?M)) (orientation ?A ?O On)))) |
Mid-level-ontology.kif 452-463 | If X is an instance of mounting, Y is an agent of X, and Z is a patient of X, then Y is not on to Z holds during the beginning of the time of existence of X and Y is on to Z holds during the end of the time of existence of X |
| (=> (instance ?X Mattress) (hasPurpose ?X (exists (?PERSON) (and (attribute ?PERSON Asleep) (orientation ?PERSON ?X On))))) |
Mid-level-ontology.kif 4687-4693 | If X is an instance of mattress, then X has the purpose there exists Y such that asleep is an attribute of Y and Y is on to X |
| (=> (and (instance ?X Bed) (component ?BEDFRAME ?X) (instance ?BEDFRAME BedFrame) (component ?MATTRESS ?X) (instance ?MATTRESS Mattress)) (orientation ?MATTRESS ?BEDFRAME On)) |
Mid-level-ontology.kif 4700-4707 | If X is an instance of bed, Y is a component of X, Y is an instance of bed frame, Z is a component of X, and Z is an instance of mattress, then Z is on to Y |
| (=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4724-4741 | If All of the following hold: (1) X is an attribute of Y (2) Y is an instance of four-poster bed (3) X is an instance of quadrilateral (4) the size of X is Z (5) the size of X is W (6) equal Z and W, then All of the following hold: (1) there exist V, U,, , T (2) S such that V is a part of Y (3) U is an instance of floor (4) Y is on to U (5) V is vertical to to U (6) Z is point of intersection W for T (7) T is an attribute of S (8) S meets V |
| (=> (instance ?MINE LandMine) (hasPurpose ?MINE (exists (?L ?E ?M ?O) (and (instance ?L LandArea) (located ?MINE ?L) (instance ?E Explosion) (instrument ?E ?MINE) (locatedAtTime ?MINE (WhenFn ?E) ?L) (causes ?M ?E) (instance ?M Motion) (eventLocated ?M ?L) (origin ?M ?O) (orientation ?O ?MINE On) (or (instance ?O Human) (instance ?O LandVehicle)))))) |
Mid-level-ontology.kif 19776-19794 | If X is an instance of land mine, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of land area (3) X is located at Y (4) Z is an instance of explosion (5) X is an instrument for Z (6) X located at time the time of existence of Z for Y (7) W causes Z (8) W is an instance of motion (9) W is located at Y (10) W originates at V (11) V is on to X (12) V is an instance of human or V is an instance of land vehicle |
| (=> (and (instance ?D Dismounting) (agent ?D ?A) (patient ?D ?O)) (and (holdsDuring (BeginFn (WhenFn ?D)) (orientation ?A ?O On)) (holdsDuring (EndFn (WhenFn ?D)) (not (orientation ?A ?O On))))) |
Mid-level-ontology.kif 22218-22230 | If X is an instance of dismounting, Y is an agent of X, and Z is a patient of X, then Y is on to Z holds during the beginning of the time of existence of X and Y is not on to Z holds during the end of the time of existence of X |
| (=> (instance ?BOARD IroningBoard) (hasPurpose ?BOARD (exists (?IRON ?FABRIC ?OBJ) (and (instance ?IRON Ironing) (patient ?IRON ?OBJ) (part ?FABRIC ?OBJ) (instance ?FABRIC Fabric) (holdsDuring (WhenFn ?IRON) (orientation ?OBJ ?BOARD On)))))) |
Mid-level-ontology.kif 27522-27533 | If X is an instance of ironing board, then X has the purpose there exist Y, Z, W such that Y is an instance of ironing, W is a patient of Y, Z is a part of W, Z is an instance of fabric, and W is on to X holds during the time of existence of Y |
| (=> (instance ?MAT PrayerMat) (hasPurpose ?MAT (exists (?PRAY ?PERSON) (and (instance ?PRAY Praying) (agent ?PRAY ?PERSON) (instance ?PERSON Human) (holdsDuring (WhenFn ?PRAY) (orientation ?PERSON ?MAT On)))))) |
Mid-level-ontology.kif 28431-28440 | If X is an instance of prayer mat, then X has the purpose there exist Y, Z such that Y is an instance of praying, Z is an agent of Y, Z is an instance of human, and Z is on to X holds during the time of existence of Y |
| (=> (instance ?ATV AllTerrainVehicle) (hasPurpose ?ATV (exists (?D ?L) (and (instance ?D Transportation) (instrument ?D ?ATV) (holdsDuring (WhenFn ?D) (orientation ?ATV ?L On)) (not (instance ?L Roadway)))))) |
Cars.kif 4660-4670 | If X is an instance of all_terrain vehicle, then X has the purpose there exist Y, Z such that Y is an instance of transportation, X is an instrument for Y, X is on to Z holds during the time of existence of Y, and Z is not an instance of roadway |
| (=> (instance ?LAND SubmergedLandArea) (exists (?WATER) (and (instance ?WATER WaterArea) (orientation ?LAND ?WATER Below) (orientation ?WATER ?LAND On) (meetsSpatially ?LAND ?WATER)))) |
Geography.kif 7672-7679 | If X is an instance of submerged land area, then there exists Y such that Y is an instance of water area, X is below to Y, Y is on to X, and X meets Y |
| (=> (onOrientation ?OBJ1 ?OBJ2) (exists (?X) (and (instance ?X ?OBJ2) (orientation ?OBJ1 ?X On)))) |
Hotel.kif 933-938 | If X is on Y, then there exists Z such that Z is an instance of Y and X is on to Z |
| (=> (instance ?PARK StreetParking) (exists (?STREET) (and (instance ?STREET Street) (orientation ?PARK ?STREET On)))) |
TransportDetail.kif 70-75 | If X is an instance of street parking, then there exists Y such that Y is an instance of street and X is on to Y |
|