| Hole
| |
| appearance as argument number 1 |
|
|
| (documentation Hole ChineseLanguage "洞是一个位于 Object 物体表面没有形体的部分。因为每个 Hole 在本体上依靠着它的主体(即是那个开着洞的物体),一个 Hole 的定于是它是在某处的 hole。注：两个 Hole 可以占据同一个地区或者相同地区的一部分，而没有任何共同的部分。一个洞的任何两个主体有一个完全承载这个 洞的共同真正部分。两个洞的共同主体承载洞的所有部分，任何含有洞为主体的物体就是那个洞的主体，除非它的部分也 包含这个洞的部分。崇德的洞拥有重叠的主体，没有洞拥有原子性的特性，洞与它的主体相连，没有洞可以有一个真正的 部分，而这个真正的部分和有着这个洞本身完全相同的物质，在外部相连接。") | chinese_format.kif 2857-2862 | |
| (documentation Hole EnglishLanguage "A hole is an immaterial body located at the surface of an Object. Since every Hole is ontologically dependent on its host (i.e., the object in which it is a hole), being a Hole is defined as being a hole in something. Note that two Holes 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. Holes 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 9304-9315 | |
| (externalImage Hole "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png") | pictureList.kif 500-500 | |
| (subclass Hole Region) | Merge.kif 9302-9302 |
| appearance as argument number 2 |
|
|
| (instance SouthSandwichTrench Hole) | Geography.kif 4488-4488 | |
| (subclass ATMSlot Hole) | FinancialOntology.kif 3600-3600 | |
| (subclass Burrow Hole) | Geography.kif 5809-5809 | |
| (subclass Cave Hole) | Geography.kif 5794-5794 | |
| (subclass Crankcase Hole) | Cars.kif 324-324 | |
| (subclass GolfHole Hole) | Sports.kif 810-810 | |
| (subclass InternalCombustionChamber Hole) | Cars.kif 311-311 | |
| (termFormat ChineseLanguage Hole "洞") | chinese_format.kif 944-944 | |
| (termFormat EnglishLanguage Hole "hole") | english_format.kif 1100-1100 |
| appearance as argument number 3 |
|
|
| (domain HoleHostFn 1 Hole) | Merge.kif 9374-9374 | |
| (domain HoleSkinFn 1 Hole) | Merge.kif 9524-9524 | |
| (domain fills 2 Hole) | Merge.kif 9480-9480 | |
| (domain hole 1 Hole) | Merge.kif 9296-9296 | |
| (domain partiallyFills 2 Hole) | Merge.kif 9420-9420 | |
| (domain properlyFills 2 Hole) | Merge.kif 9439-9439 |
| antecedent |
|
|
| (<=> (instance ?HOLE Hole) (exists (?OBJ) (hole ?HOLE ?OBJ))) |
Merge.kif 9317-9320 | |
| (=> (and (instance ?AS AutomobileShock) (instance ?C Compressing) (instance ?H Hole) (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 871-885 | |
| (=> (and (instance ?HOLE1 Hole) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ))))) |
Merge.kif 9386-9394 | |
| (=> (instance ?HOLE1 Hole) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1))) |
Merge.kif 9365-9368 |
| consequent |
|
|
| (<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2)))) |
Merge.kif 9409-9414 | |
| (=> (and (instance ?W Whiskey) (instance ?D Distilling) (result ?D ?W) (resource ?DR ?W) (instance ?DR Drinking)) (exists (?C ?T) (and (instance ?C Cask) (instance ?H Hole) (hole ?H ?C) (holdsDuring ?T (partiallyFills ?W ?C)) (earlier ?D ?T) (earlier ?T ?DR)))) |
Food.kif 1048-1063 | |
| (=> (and (instance ?X Penne) (not (exists (?Y) (and (instance ?Y Penne) (part ?Y ?X))))) (and (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?X ?HOLE2))) (attribute ?X Fillable))) |
Food.kif 733-746 | |
| (=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (partiallyFills ?S ?C))))) |
Mid-level-ontology.kif 1565-1572 | |
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 1583-1589 | |
| (=> (attribute ?X RingTorus) (exists (?H) (and (instance ?H Hole) (equal ?X (HoleHostFn ?H))))) |
Cars.kif 4433-4438 | |
| (=> (hole ?HOLE ?OBJ) (not (instance ?OBJ Hole))) |
Merge.kif 9322-9325 | |
| (=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT)))) |
Mid-level-ontology.kif 22181-22188 | |
| (=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES Hole) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER) (and (member ?FINGER ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE))))))) |
Sports.kif 977-990 | |
| (=> (instance ?CC CombustionChamber) (exists (?H) (and (instance ?H Hole) (equal ?CC (HoleHostFn ?H))))) |
Cars.kif 1714-1719 | |
| (=> (instance ?D Drill) (hasPurpose ?D (exists (?E ?H) (and (instance ?E Cutting) (instance ?H Hole) (result ?E ?H) (instrument ?E ?D))))) |
Mid-level-ontology.kif 14686-14694 | |
| (=> (instance ?G Gasket) (hasPurpose ?G (exists (?O1 ?O2) (and (instance ?O1 CorpuscularObject) (instance ?O2 CorpuscularObject) (meetsSpatially ?O1 ?G) (meetsSpatially ?O2 ?G) (not (exists (?H) (and (instance ?H Hole) (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 2857-2886 | |
| (=> (instance ?HC HydraulicCylinder) (exists (?HH ?C ?P) (and (instance ?C Hole) (equal ?HH (HoleHostFn ?C)) (attribute ?C Cylinder) (instance ?P Piston) (part ?P ?HC) (part ?HH ?HC)))) |
Cars.kif 1620-1629 | |
| (=> (instance ?S Sandal) (exists (?H1 ?H2) (and (instance ?H1 Hole) (hole ?H1 ?S) (instance ?H2 Hole) (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 4898-4918 | |
| (=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H Hole) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum))))) |
Cars.kif 4264-4271 | |
| (=> (instance ?W WasherForBolt) (exists (?H) (and (instance ?H Hole) (equal ?W (HoleHostFn ?H))))) |
Mid-level-ontology.kif 4178-4183 | |
| (=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?X)))) |
Mid-level-ontology.kif 22124-22130 |
|
|
|