Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| side |
| appearance as argument number 1 |
|
| (subrelation side superficialPart) | Merge.kif 9964-9964 | side is a subrelation of superficial part |
| (instance side BinaryPredicate) | Merge.kif 9965-9965 | side is an instance of binary predicate |
| (domain side 1 SelfConnectedObject) | Merge.kif 9966-9966 | The number 1 argument of side is an instance of self connected object |
| (domain side 2 SelfConnectedObject) | Merge.kif 9967-9967 | The number 2 argument of side is an instance of self connected object |
| (documentation side EnglishLanguage "(side ?SIDE ?OBJECT) means that ?SIDE is a side of the object, as opposed to the top or bottom.") | Merge.kif 9969-9970 | The number 2 argument of side is an instance of self connected object |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (side ?SIDE ?OBJECT) (part ?PART ?OBJECT) (not (connected ?PART ?SIDE))) (exists (?DIRECT) (orientation ?SIDE ?PART ?DIRECT))) |
Merge.kif 9972-9979 | If a side of X is Y, Z is a part of X, and Z is not connected to Y, then there exists W such that Y is W to Z |
| (=> (and (top ?TOP ?O) (side ?S ?O)) (not (equal ?TOP ?S))) |
Merge.kif 9981-9986 | If the top of X is Y and a side of X is Z, then equal Y and Z |
| (=> (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH)) (width ?OBJECT ?WIDTH)) |
Merge.kif 9996-10001 | If a side of X is Y, a side of X is Z, and the distance between Y and Z is W, then the width of X is W |
| (=> (and (transverseAxis ?V ?O) (instance ?O Aircraft) (side ?L ?O) (side ?R ?O) (orientation ?L ?R Left) (orientation ?R ?L Right) (centerOfMass ?C ?O) (part ?L ?V) (part ?R ?V) (part ?C ?V)) (between ?C ?L ?R)) |
Mid-level-ontology.kif 19386-19398 | If All of the following hold: (1) X is the transverseAxis of Y (2) Y is an instance of aircraft (3) a side of Y is Z (4) a side of Y is W (5) Z is left of to W (6) W is right of to Z (7) V is the centerOfMass of Y (8) Z is a part of X (9) W is a part of X (10) V is a part of X, then Z is between V and W |
| (=> (and (orientation ?OBJ1 ?OBJ2 Surrounded) (side ?X ?OBJ1)) (meetsSpatially ?X ?OBJ2)) |
Mid-level-ontology.kif 28580-28584 | If X is surrounded by to Y and a side of X is Z, then Z meets Y |
| (=> (and (instance ?Mesa Mesa) (side ?Side ?Mesa)) (attribute ?Side SteepTerrain)) |
Geography.kif 5669-5673 | If X is an instance of mesa and a side of X is Y, then steep terrain is an attribute of Y |
| (=> (and (instance ?butte Butte) (side ?side ?butte)) (attribute ?side SteepTerrain)) |
Geography.kif 5680-5684 | If X is an instance of butte and a side of X is Y, then steep terrain is an attribute of Y |
| (=> (and (instance ?Isthmus Isthmus) (side ?Leftside ?Isthmus) (side ?Rightside ?Isthmus) (not (equal ?Leftside ?Rightside))) (exists (?Region1 ?Region2 ?Water1 ?Water2) (and (instance ?Region1 LandArea) (instance ?Region2 LandArea) (between ?Region1 ?Isthmus ?Region2) (instance ?Water1 WaterArea) (instance ?Water2 WaterArea) (meetsSpatially ?Leftside ?Water1) (meetsSpatially ?Rightside ?Water2)))) |
Geography.kif 7423-7437 | If X is an instance of isthmus, a side of X is Y, a side of X is Z, and equal Y and Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of land area (3) V is an instance of land area (4) X is between W (5) V (6) U is an instance of water area (7) T is an instance of water area (8) Y meets U (9) Z meets T |
| (=> (and (instance ?F Flying) (patient ?F ?P) (instance ?P Airplane) (part ?LW ?P) (instance ?LW FlightWing) (side ?LW ?P) (orientation ?LW ?P Left) (instance ?LA Aileron) (located ?LA ?LW) (instance ?U MotionUpward) (moves ?U ?LA)) (holdsDuring (WhenFn ?U) (exists (?D) (and (instance ?D MotionDownward) (moves ?D ?LW) (causes ?U ?D))))) |
Transportation.kif 3439-3457 | If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is left of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion upward (11) W moves during V, then there exists U such that U is an instance of motion downward, Z moves during U, and V causes U holds during the time of existence of V |
| (=> (and (instance ?F Flying) (patient ?F ?P) (instance ?P Airplane) (part ?RW ?P) (instance ?RW FlightWing) (side ?RW ?P) (orientation ?RW ?P Right) (instance ?RA Aileron) (located ?RA ?RW) (instance ?D MotionDownward) (moves ?D ?RA)) (holdsDuring (WhenFn ?D) (exists (?U) (and (instance ?U MotionUpward) (moves ?U ?RW) (causes ?D ?U))))) |
Transportation.kif 3459-3477 | If All of the following hold: (1) X is an instance of flying (2) Y is a patient of X (3) Y is an instance of airplane (4) Z is a part of Y (5) Z is an instance of flight wing (6) a side of Y is Z (7) Z is right of to Y (8) W is an instance of aileron (9) W is located at Z (10) V is an instance of motion downward (11) W moves during V, then there exists U such that U is an instance of motion upward, Z moves during U, and V causes U holds during the time of existence of V |
| consequent |
|
|
| (=> (instance ?OBJ SelfConnectedObject) (side (FrontFn ?OBJ) ?OBJ)) |
Merge.kif 883-885 | If X is an instance of self connected object, then a side of X is the front of X |
| (=> (instance ?OBJ SelfConnectedObject) (side (BackFn ?OBJ) ?OBJ)) |
Merge.kif 903-905 | If X is an instance of self connected object, then a side of X is the back of X |
| (=> (width ?OBJECT ?WIDTH) (exists (?SIDE1 ?SIDE2) (and (side ?SIDE1 ?OBJECT) (side ?SIDE2 ?OBJECT) (distance ?SIDE1 ?SIDE2 ?WIDTH)))) |
Merge.kif 9988-9994 | If the width of X is Y, then there exist Z, W such that a side of X is Z, a side of X is W, the distance between Z, and W is Y |
| (=> (attribute ?F Flat) (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (instance ?U UnitOfLength) (height ?F (MeasureFn ?HF ?U)) (height ?S1 (MeasureFn ?H1 ?U)) (height ?S2 (MeasureFn ?H2 ?U)) (greaterThan ?H1 (MultiplicationFn 2.0 ?HF)) (greaterThan ?H2 (MultiplicationFn 2.0 ?HF))))) |
Mid-level-ontology.kif 3382-3395 | If flat is an attribute of X, then there exist Y, Z,, , W,, , V,, , U and T such that a side of X is Y and a side of X is Z and Y meets Z and equal Y and Z and T is an instance of unit of length and the height of X is W T(s) and the height of Y is V T(s) and the height of Z is U T(s) and V is greater than 2.0 and W and U is greater than 2.0 and W |
| (=> (attribute ?F LongAndThin) (exists (?S1 ?S2 ?HF ?H1 ?H2 ?U) (and (side ?S1 ?F) (side ?S2 ?F) (meetsSpatially ?S1 ?S2) (not (equal ?S1 ?S2)) (instance ?U UnitOfLength) (length ?F (MeasureFn ?HF ?U)) (length ?S1 (MeasureFn ?H1 ?U)) (length ?S2 (MeasureFn ?H2 ?U)) (lessThan ?H1 (MultiplicationFn 3.0 ?HF)) (lessThan ?H2 (MultiplicationFn 3.0 ?HF))))) |
Mid-level-ontology.kif 3403-3416 | If long and thin is an attribute of X, then there exist Y, Z,, , W,, , V,, , U and T such that a side of X is Y and a side of X is Z and Y meets Z and equal Y and Z and T is an instance of unit of length and the length of X is W T(s) and the length of Y is V T(s) and the length of Z is U T(s) and V is less than 3.0 and W and U is less than 3.0 and W |
| (=> (instance ?BOX Box) (equal (CardinalityFn (KappaFn ?SIDE (or (top ?SIDE ?BOX) (bottom ?SIDE ?BOX) (side ?SIDE ?BOX)))) 6)) |
Mid-level-ontology.kif 5087-5095 | If X is an instance of box, then equal the number of instances in the class described by Y and 6 |
|