Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ExpressingApproval
|
|
|
| appearance as argument number 1 |
|
|
| (instance Adjacent SymmetricPositionalAttribute) | Merge.kif 17451-17451 | Adjacent is an instance of symmetric positional attribute |
| (documentation Adjacent EnglishLanguage "Used to assert that an object ?OBJ1 is close to, near or abutting ?OBJ2. This PositionalAttribute covers the following common sense notions: adjoins, abuts, is contiguous to, is juxtaposed, and is close to.") | Merge.kif 17452-17455 | Adjacent is an instance of symmetric positional attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subclass ?T1C Tissue) (subclass ?T2C Tissue) (instance ?T1 ?T1C) (instance ?T2 ?T2C) (instance ?H Human) (part ?T1 ?H) (part ?T2 ?H) (not (equal ?T1C ?T2C)) (not (subclass ?T1C ?T2C)) (not (subclass ?T2C ?T1C)) (orientation ?T1 ?T2 Adjacent)) (modalAttribute (exists (?CT) (and (instance ?CT ConnectiveTissue) (between ?T1 ?CT ?T2))) Likely)) |
Merge.kif 15462-15483 | If All of the following hold: (1) X is a subclass of tissue (2) Y is a subclass of tissue (3) Z is an instance of X (4) W is an instance of Y (5) V is an instance of human (6) Z is a part of V (7) W is a part of V (8) equal X and Y (9) X is not a subclass of Y (10) Y is not a subclass of X (11) Z is adjacent to W, then the statement there exists U such that U is an instance of connective tissue, U is between Z, and W has the modal force of likely |
| (<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 17457-17461 | X is adjacent to Y if and only if X is near to Y or X is connected to Y |
| (=> (orientation ?ONE ?TWO Adjacent) (orientation ?TWO ?ONE Adjacent)) |
Geography.kif 2187-2189 | If X is adjacent to Y, then Y is adjacent to X |
| (=> (and (instance ?piedmont Piedmont) (attribute ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent) (instance ?U UnitOfLength) (height ?piedmont (MeasureFn ?height1 ?U)) (height ?mountains (MeasureFn ?height2 ?U))) (greaterThan ?height2 ?height1)) |
Geography.kif 5710-5720 | If All of the following hold: (1) X is an instance of piedmont (2) mountainous terrain is an attribute of Y (3) X is adjacent to Y (4) Z is an instance of unit of length (5) the height of X is W Z(s) (6) the height of Y is V Z(s), then V is greater than W |
| (=> (and (instance ?valley Valley) (instance ?area LandArea) (instance ?U UnitOfLength) (earthAltitude ?valley (MeasureFn ?height1 ?U)) (earthAltitude ?area (MeasureFn ?height2 ?U)) (orientation ?valley ?area Adjacent)) (greaterThan ?height2 ?height1)) |
Geography.kif 5735-5745 | If All of the following hold: (1) X is an instance of valley (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W |
| (=> (and (instance ?basin Basin) (instance ?area LandArea) (instance ?U UnitOfLength) (earthAltitude ?basin (MeasureFn ?height1 ?U)) (earthAltitude ?area (MeasureFn ?height2 ?U)) (orientation ?basin ?area Adjacent)) (greaterThan ?height2 ?height1)) |
Geography.kif 5751-5761 | If All of the following hold: (1) X is an instance of basin (2) Y is an instance of land area (3) Z is an instance of unit of length (4) X is W Z(s) above the ground (5) Y is V Z(s) above the ground (6) X is adjacent to Y, then V is greater than W |
| (=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 7726-7731 | If X is an instance of seacoast, Y is an instance of water area, and Y is adjacent to X, then Y is an instance of salt water area |
| (=> (and (instance ?SHORE ShoreArea) (instance ?WATER WaterArea) (orientation ?SHORE ?WATER Adjacent)) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE) (meetsSpatially ?LINE ?WATER)))) |
Geography.kif 7752-7761 | If X is an instance of shore area, Y is an instance of water area, and X is adjacent to Y, then there exists Z such that Z is an instance of shoreline, Z is a part of X, and Z meets Y |
| consequent |
|
|
| (=> (instance ?G ResidentialGarden) (exists (?B) (and (instance ?B ResidentialBuilding) (orientation ?G ?B Adjacent)))) |
Mid-level-ontology.kif 9502-9507 | If X is an instance of residential garden, then there exists Y such that Y is an instance of residential building and X is adjacent to Y |
| (=> (attribute ?X AdjoiningRoom) (exists (?ROOM ?WALL ?DOOR) (and (attribute ?ROOM AdjoiningRoom) (not (equal ?ROOM ?X)) (orientation ?X ?ROOM Adjacent) (instance ?WALL Wall) (part ?WALL ?ROOM) (part ?WALL ?X) (instance ?DOOR Door) (part ?DOOR ?WALL)))) |
Mid-level-ontology.kif 16812-16823 | If adjoining room is an attribute of X, then All of the following hold: (1) there exist Y, Z (2) W such that adjoining room is an attribute of Y (3) equal Y (4) X (5) X is adjacent to Y (6) Z is an instance of wall (7) Z is a part of Y (8) Z is a part of X (9) W is an instance of door (10) W is a part of Z |
| (=> (postStreet ?POSTPLACE ?ROADWAY) (orientation ?POSTPLACE ?ROADWAY Adjacent)) |
Mid-level-ontology.kif 27101-27103 | If X is on Y, then X is adjacent to Y |
| (=> (instance ?X Earphone) (hasPurpose ?X (exists (?ES ?RS ?SIGNAL ?EAR ?PROC) (and (instance ?ES ElectricalSignalling) (patient ?ES ?SIGNAL) (destination ?ES ?X) (instance ?PROC Process) (instrument ?PROC ?X) (patient ?PROC ?SIGNAL) (result ?PROC ?RS) (instance ?RS RadiatingSound) (origin ?RS ?X) (before (BeginFn (WhenFn ?ES)) (BeginFn (WhenFn ?PROC))) (before (BeginFn (WhenFn ?PROC)) (BeginFn (WhenFn ?RS))) (instance ?EAR Ear) (orientation ?X ?EAR Adjacent))))) |
Mid-level-ontology.kif 28623-28644 | If X is an instance of earphone, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of electrical signalling (3) W is a patient of Y (4) Y ends up at X (5) U is an instance of process (6) X is an instrument for U (7) W is a patient of U (8) Z is a result of U (9) Z is an instance of radiating sound (10) Z originates at X (11) the beginning of the time of existence of Y happens before the beginning of the time of existence of U (12) the beginning of the time of existence of U happens before the beginning of the time of existence of Z (13) V is an instance of ear (14) X is adjacent to V |
| (=> (instance ?X Patio) (and (modalAttribute (attribute ?X Paved) Likely) (exists (?BLDG) (and (instance ?BLDG Building) (orientation ?X ?BLDG Adjacent) (located ?X Outdoors))))) |
Mid-level-ontology.kif 29233-29242 | If X is an instance of patio, then the statement paved is an attribute of X has the modal force of likely and there exists Y such that Y is an instance of building, X is adjacent to Y, and X is located at outdoors |
| (=> (instance (BorderFn ?AREA1 ?AREA2) GeographicArea) (orientation ?AREA1 ?AREA2 Adjacent)) |
Geography.kif 2183-2185 | If the border of X and Y is an instance of geographic area, then X is adjacent to Y |
| (=> (orientation ?ONE ?TWO Adjacent) (orientation ?TWO ?ONE Adjacent)) |
Geography.kif 2187-2189 | If X is adjacent to Y, then Y is adjacent to X |
| (=> (instance ?piedmont Piedmont) (exists (?mountains) (and (instance ?mountains MountainousTerrain) (orientation ?piedmont ?mountains Adjacent)))) |
Geography.kif 5703-5708 | If X is an instance of piedmont, then there exists Y such that Y is an instance of mountainous terrain and X is adjacent to Y |
| (=> (meetsSpatially ?X ?Y) (orientation ?X ?Y Adjacent)) |
Geography.kif 7763-7765 | If X meets Y, then X is adjacent to Y |
| (=> (adjacentOrientation ?OBJ1 ?OBJ2) (exists (?X) (and (instance ?X ?OBJ2) (orientation ?OBJ1 ?X Adjacent)))) |
Hotel.kif 947-952 | If X is adjacent to Y, then there exists Z such that Z is an instance of Y and X is adjacent to Z |
| (=> (attribute ?X DownAndInRoom) (exists (?LOC ?INDOOR) (and (instance ?INDOOR Indoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?INDOOR)))) |
Hotel.kif 1065-1073 | If down and in room is an attribute of X, then there exist Y, Z such that Z is an instance of indoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z |
| (=> (attribute ?X DownAndOutRoom) (exists (?LOC ?OUTDOOR) (and (instance ?OUTDOOR Outdoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?OUTDOOR)))) |
Hotel.kif 1080-1088 | If down and out room is an attribute of X, then there exist Y, Z such that Z is an instance of outdoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z |
| (=> (and (instance ?SM StripMall) (instance ?RS1 RetailStore) (part ?RS1 ?SM)) (exists (?PL) (and (instance ?PL ParkingLot) (orientation ?RS1 ?PL Adjacent)))) |
Medicine.kif 5169-5177 | If X is an instance of strip mall, Y is an instance of retail store, and Y is a part of X, then there exists Z such that Z is an instance of parking lot and Y is adjacent to Z |
| (=> (instance ?PORT PortCity) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 841-850 | If X is an instance of port city, then there exists Y such that Y is an instance of sea, Y is an instance of ocean and X is adjacent to Y, or X is near to Y |
| (=> (meetsSpatially ?OBJECT1 ?OBJECT2) (orientation ?OBJECT1 ?OBJECT2 Adjacent)) |
Transportation.kif 864-866 | If X meets Y, then X is adjacent to Y |
| (=> (instance ?PORT SeaPort) (exists (?SEA) (and (or (instance ?SEA Sea) (instance ?SEA Ocean)) (or (orientation ?PORT ?SEA Adjacent) (orientation ?PORT ?SEA Near))))) |
Transportation.kif 873-882 | If X is an instance of sea port, then there exists Y such that Y is an instance of sea, Y is an instance of ocean and X is adjacent to Y, or X is near to Y |
| (=> (instance ?SURF SurfZone) (exists (?SL) (and (instance ?SL Shoreline) (orientation ?SURF ?SL Adjacent)))) |
Weather.kif 2690-2695 | If X is an instance of surf zone, then there exists Y such that Y is an instance of shoreline and X is adjacent to Y |
|