Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
HoleRegion(hole)
|
| appearance as argument number 1 |
|
| (subclass HoleRegion Region) | Merge.kif 10078-10078 | Hole is a subclass of region |
| (documentation HoleRegion EnglishLanguage "A hole is an immaterial body located at the surface of an Object. Since every HoleRegion is ontologically dependent on its host (i.e., the object in which it is a hole), being a HoleRegion is defined as being a hole in something. Note that two HoleRegions may occupy the same region, or part of the same region, without sharing any parts. Any two hosts of a hole have a common proper part that entirely hosts the hole. A common host of two holes hosts all parts of the sum of those holes. Any object that includes the host of a hole is a host of that hole, unless its parts also include parts of that very hole. Overlapping holes have overlapping hosts. No hole is atomic. HoleRegions are connected with their hosts. No hole can have a proper part that is externally connected with exactly the same things as the hole itself.") | Merge.kif 10080-10091 | Hole is a subclass of region |
| (externalImage HoleRegion "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ golf/ HoleRegion_10.png") | pictureList.kif 500-500 | Hole is a subclass of region |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain hole 1 HoleRegion) | Merge.kif 1002-1002 | The number 1 argument of hole is an instance of hole |
| (domain properlyFills 2 HoleRegion) | Merge.kif 1011-1011 | The number 2 argument of properly fills is an instance of hole |
| (domain HoleHostFn 1 HoleRegion) | Merge.kif 10153-10153 | The number 1 argument of hole host is an instance of hole |
| (domain partiallyFills 2 HoleRegion) | Merge.kif 10203-10203 | The number 2 argument of partially fills is an instance of hole |
| (domain completelyFills 2 HoleRegion) | Merge.kif 10228-10228 | The number 2 argument of completely fills is an instance of hole |
| (domain fills 2 HoleRegion) | Merge.kif 10251-10251 | The number 2 argument of fills is an instance of hole |
| (domain HoleSkinFn 1 HoleRegion) | Merge.kif 10294-10294 | The number 1 argument of hole skin is an instance of hole |
| (domain cylinderBore 1 HoleRegion) | Cars.kif 1416-1416 | The number 1 argument of cylinder bore is an instance of hole |
| antecedent |
|
|
| (=> (instance ?HOLE HoleRegion) (exists (?OBJ) (hole ?HOLE ?OBJ))) |
Merge.kif 10093-10096 | If X is an instance of hole, then there exists Y such that X is a hole in Y |
| (=> (instance ?HOLE1 HoleRegion) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1))) |
Merge.kif 10145-10148 | If X is an instance of hole, then there exists Y such that Y is a proper part of X |
| (=> (and (instance ?HOLE1 HoleRegion) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ))))) |
Merge.kif 10165-10173 | If X is an instance of hole and Y is a proper part of X, then there exists Z such that X meets Z and Y doesn't meet Z |
| (=> (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2)) (attribute ?HOLE1 Fillable)) |
Merge.kif 10194-10198 | If X is an instance of hole and Y is a part of X, then fillable is an attribute of Y |
| (=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H HoleRegion) (attribute ?F Fluid) (equal ?AS (HoleHostFn ?H)) (contains ?AS ?F) (patient ?C ?AS)) (exists (?T) (and (instance ?T Transfer) (objectTransferred ?T ?F) (path ?T ?H) (causes ?C ?T)))) |
Cars.kif 808-822 | If All of the following hold: (1) X is an instance of shock (2) Y is an instance of compressing (3) Z is an instance of hole (4) fluid is an attribute of W (5) equal X and the host of the hole Z (6) X contains W (7) X is a patient of Y, then there exists V such that V is an instance of transfer, the object transferred in V is W, Z is path along which V occurs, and Y causes V |
| (=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI ?C) (equal ?C Circle)) (diameter ?C ?M)) |
Cars.kif 1419-1428 | If All of the following hold: (1) the bore of X is Y (2) X is an instance of hole (3) X is cylinder (4) Z is a part of X (5) Z is an instance of region (6) Z is W (7) equal W and circle, then the diameter of W is Y |
| (=> (and (instance ?G ExternalGear) (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T GearTooth) (part ?T ?G) (surface ?ST ?T)) (not (part ?ST ?G))) |
engineering.kif 862-872 | If All of the following hold: (1) X is an instance of external gear (2) Y is an instance of hole (3) equal X and the host of the hole Y (4) Z is an instance of gear tooth (5) Z is a part of X (6) W is a surface of Z, then W is not a part of X |
| consequent |
|
|
| (=> (hole ?HOLE ?OBJ) (instance ?HOLE HoleRegion)) |
Merge.kif 10098-10100 | If X is a hole in Y, then X is an instance of hole |
| (=> (hole ?HOLE ?OBJ) (not (instance ?OBJ HoleRegion))) |
Merge.kif 10102-10105 | If X is a hole in Y, then Y is not an instance of hole |
| (=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2)))) |
Merge.kif 10187-10192 | If fillable is an attribute of X, then there exists Y such that Y is an instance of hole and X is a part of Y |
| (=> (instance ?B GunBore) (exists (?H) (and (instance ?H HoleRegion) (shape ?B Cylinder) (part ?H ?B) (hole ?H ?B)))) |
Mid-level-ontology.kif 1427-1434 | If X is an instance of gun bore, then there exists Y such that Y is an instance of hole, X is cylinder, Y is a part of X, and Y is a hole in X |
| (=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (partiallyFills ?S ?C))))) |
Mid-level-ontology.kif 2160-2167 | If container empty is an attribute of X, then there don't exist Y, Z such that Y is an instance of hole, Y is a hole in X, and Z partially fills X |
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 2178-2184 | If container full is an attribute of X, then there exist Y, Z such that Y is an instance of hole, Y is a hole in X, and Z fills X |
| (=> (instance ?PC PorousContainer) (exists (?HOLE) (and (instance ?HOLE HoleRegion) (hole ?HOLE ?PC)))) |
Mid-level-ontology.kif 5128-5133 | If X is an instance of porous container, then there exists Y such that Y is an instance of hole and Y is a hole in X |
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 HoleRegion) (hole ?H1 ?S) (instance ?H2 HoleRegion) (hole ?H2 ?S) (not (equal ?H1 ?H2)) (hasPurpose ?H1 (exists (?D ?F ?A ?I) (and (instance ?D Dressing) (instance ?F Foot) (agent ?D ?A) (part ?F ?A) (subProcess ?I ?D) (instance ?I Inserting) (patient ?I ?F) (destination ?I ?H1))))))) |
Mid-level-ontology.kif 6307-6327 | If X is an instance of sandal, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of hole (3) Y is a hole in X (4) Z is an instance of hole (5) Z is a hole in X (6) equal Y (7) Z (8) Y has the purpose there exist W, V,, , U (9) T such that W is an instance of dressing (10) V is an instance of foot (11) U is an agent of W (12) V is a part of U (13) T is a subprocess of W (14) T is an instance of inserting (15) V is a patient of T (16) T ends up at Y |
| (=> (equal (MeasureFn ?X PoundForce) (JankaHardnessFn ?CLASS)) (modalAttribute (exists (?T ?W ?P ?B ?H ?S) (and (instance ?T ?CLASS) (part ?W ?T) (instance ?W Wood) (instance ?P Pushing) (destination ?P ?W) (instance ?B Ball) (material ?B Steel) (patient ?P ?B) (sphereRadius ?B (MeasureFn 5.64 Millimeter)) (result ?P ?H) (instance ?H HoleRegion) (part ?H ?W) (surface ?S ?W) (distance ?S ?H (MeasureFn 5.64 Millimeter)) (measure ?P (MeasureFn ?X PoundForce)))) Likely)) |
Mid-level-ontology.kif 10569-10592 | If equal X pound force(s) and The Janka Hardness of Y is, then the statement there exist Z, W,, , V,, , U,, , T and S such that Z is an instance of Y and W is a part of Z and W is an instance of wood and V is an instance of pushing and V ends up at W and U is an instance of ball and steel is made of U and U is a patient of V and the radius of U is 5.64 millimeter(s) and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of W and the distance between S and T is 5.64 millimeter(s) and the measure of V is X pound force(s) has the modal force of likely |
| (=> (equal (MeasureFn (PerFn (MeasureFn ?F KilogramForce) (MeasureFn ?A SquareMillimeter)) VickersPyramidNumber) (VickersHardnessFn ?CLASS)) (modalAttribute (exists (?SUB ?P ?D ?H ?S) (and (instance ?SUB ?CLASS) (instance ?P Pushing) (destination ?P ?SUB) (instance ?D Diamond) (shape ?D SquarePyramid) (patient ?P ?D) (result ?P ?H) (instance ?H HoleRegion) (part ?H ?SUB) (surface ?S ?H) (totalArea ?S (MeasureFn ?A SquareMillimeter)) (measure ?P (MeasureFn ?F KilogramForce)))) Likely)) |
Mid-level-ontology.kif 10641-10662 | If equal the per of X kilogram force(s) and Y square millimeter(s) Vickers pyramid number(s) and The Vickers Hardness of Z is, then the statement there exist W, V,, , U,, , T and S such that W is an instance of Z and V is an instance of pushing and V ends up at W and U is an instance of diamond and U is square pyramid and U is a patient of V and T is a result of V and T is an instance of hole and T is a part of W and S is a surface of T and Y square millimeter(s) is a total area of S and the measure of V is X kilogram force(s) has the modal force of likely |
| (=> (instance ?U Ulcer) (exists (?H ?BP) (and (instance ?H HoleRegion) (instance ?BP BodyPart) (equal ?BP (HoleHostFn ?H)) (part ?BP ?U)))) |
Mid-level-ontology.kif 10916-10923 | If X is an instance of ulcer, then there exist Y, Z such that Y is an instance of hole, Z is an instance of body part, equal Z, the host of the hole Y, and Z is a part of X |
| (=> (instance ?D Drill) (hasPurpose ?D (exists (?E ?H) (and (instance ?E Cutting) (instance ?H HoleRegion) (result ?E ?H) (instrument ?E ?D))))) |
Mid-level-ontology.kif 20047-20055 | If X is an instance of drill, then X has the purpose there exist Y, Z such that Y is an instance of cutting, Z is an instance of hole, Z is a result of Y, and X is an instrument for Y |
| (=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE CollectionOfObjects) (memberType ?HOLE HoleRegion) (part ?HOLE ?X)))) |
Mid-level-ontology.kif 28483-28489 | If X is an instance of electrical outlet, then there exists Y such that Y is an instance of collection, hole is a member type of Y, and Y is a part of X |
| (=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE CollectionOfObjects) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 28540-28547 | If X is an instance of outlet adapter, then there exists Y such that Y is an instance of collection, hole is a member type of Y, Y is a part of X, and X is made of metal |
| (=> (attribute ?X RingTorus) (exists (?H) (and (instance ?H HoleRegion) (equal ?X (HoleHostFn ?H))))) |
Mid-level-ontology.kif 33397-33402 | If ring torus is an attribute of X, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y |
| (=> (instance ?HC HydraulicCylinder) (exists (?HH ?C ?P) (and (instance ?C HoleRegion) (equal ?HH (HoleHostFn ?C)) (shape ?C Cylinder) (instance ?P Piston) (part ?P ?HC) (part ?HH ?HC)))) |
Cars.kif 1491-1501 | If X is an instance of hydraulic cylinder, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of hole (3) equal Y (4) the host of the hole Z (5) Z is cylinder (6) W is an instance of piston (7) W is a part of X (8) Y is a part of X |
| (=> (instance ?CC CombustionChamber) (exists (?H) (and (instance ?H HoleRegion) (equal ?CC (HoleHostFn ?H))))) |
Cars.kif 1587-1592 | If X is an instance of combustion chamber, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y |
| (=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H ?D ?T ?O) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T Translocation) (path ?T ?H) (origin ?T ?O) (destination ?T ?D) (contains ?O1 ?O) (not (contains ?O1 ?D)) (meetsSpatially ?O1 ?D) (not (exists (?O3) (and (contains ?H ?O3) (not (contains ?O1 ?O3)) (not (contains ?O2 ?O3)))))))))))) |
Cars.kif 2681-2710 | If X is an instance of gasket, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of corpuscular object (3) Z is an instance of corpuscular object (4) Y meets X (5) Z meets X (6) there don't exist W, V,, , U (7) T such that W is an instance of hole (8) equal X (9) the host of the hole W (10) U is an instance of translocation (11) W is path along which U occurs (12) U originates at T (13) U ends up at V (14) Y contains T (15) Y doesn't contain V (16) Y meets V (17) there doesn't exist S such that W contains S (18) Y doesn't contain S (19) Z doesn't contain S |
| (=> (instance ?W WasherForBolt) (exists (?H) (and (instance ?H HoleRegion) (equal ?W (HoleHostFn ?H))))) |
Cars.kif 4101-4106 | If X is an instance of washer, then there exists Y such that Y is an instance of hole, equal X, and the host of the hole Y |
| (=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum))))) |
Cars.kif 4155-4162 | If X is an instance of vacuum hose, then X has the purpose there exists Y such that Y is an instance of hole, equal X, the host of the hole Y, and partial vacuum is an attribute of Y |
| (=> (and (instance ?X Penne) (not (exists (?Y) (and (instance ?Y Penne) (part ?Y ?X))))) (and (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?X ?HOLE2))) (attribute ?X Fillable))) |
Food.kif 2792-2805 | If X is an instance of penne and there doesn't exist Y such that Y is an instance of penne and Y is a part of X, then there exists Z such that Z is an instance of hole and X is a part of Z and fillable is an attribute of X |
| (=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T ?H) (and (instance ?C Cask) (instance ?H HoleRegion) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR)))) |
Food.kif 3654-3669 | If X is an instance of whiskey, Y is an instance of distilling, X is a result of Y, X is a resource for Z, and Z is an instance of drinking, then All of the following hold: (1) there exist W, V (2) U such that W is an instance of cask (3) U is an instance of hole (4) U is a hole in W (5) X partially fills W holds during V (6) Y happens earlier than V (7) V happens earlier than Z |
| (=> (and (instance ?C Cricothyroidotomy) (patient ?C ?O)) (holdsDuring (EndFn (WhenFn ?C)) (exists (?H) (and (instance ?H HoleRegion) (equal ?T (HoleHostFn ?H)) (instance ?T Throat) (part ?T ?O))))) |
Medicine.kif 732-743 | If X is an instance of cricothyrotomy and Y is a patient of X, then there exists Z such that Z is an instance of hole, equal W, the host of the hole Z, W is an instance of throat, and W is a part of Y holds during the end of the time of existence of X |
| (=> (instance ?CS ChestSeal) (hasPurpose ?CS (exists (?C ?CH ?I ?H) (and (instance ?C Closing) (instrument ?C ?CS) (located ?C ?CH) (instance ?CH Chest) (instance ?H HoleRegion) (equal ?CH (HoleHostFn ?H)) (instance ?I Injuring) (located ?I ?CH) (earlier (WhenFn ?I) (WhenFn ?C)))))) |
Medicine.kif 807-823 | If X is an instance of chest seal, 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 closing (3) X is an instrument for Y (4) Y is located at Z (5) Z is an instance of chest (6) V is an instance of hole (7) equal Z (8) the host of the hole V (9) W is an instance of injuring (10) W is located at Z (11) the time of existence of W happens earlier than the time of existence of Y |
| (=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES CollectionOfObjects) (memberType ?HOLES HoleRegion) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE))))))) |
Sports.kif 1153-1166 | If X is an instance of bowling ball, then All of the following hold: (1) there exists Y such that Y is an instance of collection (2) hole is a member type of Y (3) 3 is a member count of Y (4) Y is located at X (5) Y has the purpose there exist Z (6) W such that W is a member of Y (7) Z is an instance of finger (8) Z partially fills W |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|