TreeView Knowledge Base Browser - Hole

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Hole

Sigma KEE - Hole

Hole(hole)

Aristarchus, Carlsbad_Caverns, Copernicus, Ranvier's_nodes, air-intake, air_hole, air_horn, air_shaft, air_well, amniotic_cavity, aortic_orifice, aperture, armhole, barbecue_pit, bell, birth_canal, blank, blankness, blowhole, bolt-hole, bore, bore-hole, borrow_pit, breach, bullet_hole, bunghole, bursa_omentalis, button_hole, buttonhole, caldera, canalis_cervicis_uteri, canalis_vertebralis, cavern, cavity, cervical_canal, channel, chap, chasm, chest_cavity, chink, chuckhole, cleft, costal_groove, countersink, cove, crack, cranial_cavity, crannied, cranny, crater...

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 9764-9775
(externalImage Hole "http://www.adampease.org/Articulate/SUMOpictures/pictures/ recreation/ sports/ golf/ Hole_10.png")	pictureList.kif 500-500
(subclass Hole Region)	Merge.kif 9762-9762	Hole is a subclass of region

appearance as argument number 2

(instance SouthSandwichTrench Hole)	Geography.kif 4590-4590	South sandwich trench is an instance of hole
(subclass BodyOrifice Hole)	Mid-level-ontology.kif 11525-11525	BodyOrifice is a subclass of hole
(subclass Burrow Hole)	Geography.kif 5924-5924	Burrow is a subclass of hole
(subclass Cave Hole)	Geography.kif 5909-5909	Cave is a subclass of hole
(subclass Crankcase Hole)	Cars.kif 324-324	Crankcase is a subclass of hole
(subclass Glottis Hole)	Mid-level-ontology.kif 5822-5822	Glottis is a subclass of hole
(subclass GolfHole Hole)	Sports.kif 886-886	Golf hole is a subclass of hole
(subclass InternalCombustionChamber Hole)	Cars.kif 311-311	Internal combustion chamber is a subclass of hole
(subclass Pupil Hole)	Mid-level-ontology.kif 11599-11599	Pupil is a subclass of hole
(termFormat ChineseLanguage Hole "洞")	chinese_format.kif 944-944
(termFormat EnglishLanguage Hole "hole")	english_format.kif 1095-1095

appearance as argument number 3

(domain HoleHostFn 1 Hole)	Merge.kif 9834-9834	The number 1 argument of hole host is an instance of hole
(domain HoleSkinFn 1 Hole)	Merge.kif 9984-9984	The number 1 argument of hole skin is an instance of hole
(domain fills 2 Hole)	Merge.kif 9940-9940	The number 2 argument of fills is an instance of hole
(domain hole 1 Hole)	Merge.kif 9756-9756	The number 1 argument of hole is an instance of hole
(domain partiallyFills 2 Hole)	Merge.kif 9880-9880	The number 2 argument of partially fills is an instance of hole
(domain properlyFills 2 Hole)	Merge.kif 9899-9899	The number 2 argument of properly fills is an instance of hole

antecedent

(<=> (instance ?HOLE Hole) (exists (?OBJ) (hole ?HOLE ?OBJ)))	Merge.kif 9777-9780	A hole is an instance of hole if and only if there exists a self connected object such that the hole is a hole in the self connected object
(=> (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	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and the self connected object is equal to the host of the hole the hole and the self connected object contains the object and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
(=> (and (instance ?HOLE1 Hole) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ)))))	Merge.kif 9846-9854	If an object is an instance of hole and another object is a proper part of the object, then there exists a third object such that the object meets the third object and the other object doesn't meet the third object
(=> (instance ?HOLE1 Hole) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1)))	Merge.kif 9825-9828	If an entity is an instance of hole, then there exists an object such that the object is a proper part of the entity

consequent

(<=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 Hole) (part ?HOLE1 ?HOLE2))))	Merge.kif 9869-9874	Fillable is an attribute of an object if and only if there exists another object such that the other object is an instance of hole and the object is a part of the other object
(=> (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 1030-1045	If an object is an instance of whiskey and a time interval is an instance of distilling and the object is a result of the time interval and the object is a resource for the time intervalR and the time intervalR is an instance of drinking, then there exist a self connected object and a third time interval such that the self connected object is an instance of Cask and a hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object holds during the third time interval and the time interval happens earlier than the third time interval and the third time interval happens earlier than the time intervalR
(=> (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 715-728	If an object is an instance of Penne and there doesn't exist another object such that the other object is an instance of Penne and the other object is a part of the object, then there exists a third object such that the third object is an instance of hole and the object is a part of the third object and fillable is an attribute of the object
(=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (partiallyFills ?S ?C)))))	Mid-level-ontology.kif 1583-1590	If container empty is an attribute of a self connected object, then there don't exist a hole and an object such that the hole is an instance of hole and the hole is a hole in the self connected object and the object partially fills the self connected object
(=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H Hole) (hole ?H ?C) (fills ?S ?C))))	Mid-level-ontology.kif 1601-1607	If container full is an attribute of a self connected object, then there exist a hole and an object such that the hole is an instance of hole and the hole is a hole in the self connected object and the object fills the self connected object
(=> (attribute ?X RingTorus) (exists (?H) (and (instance ?H Hole) (equal ?X (HoleHostFn ?H)))))	Cars.kif 4420-4425	If ring torus is an attribute of an object, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
(=> (hole ?HOLE ?OBJ) (not (instance ?OBJ Hole)))	Merge.kif 9782-9785	If a hole is a hole in a self connected object, then the self connected object is not an instance of hole
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 25335-25342	If a corpuscular object is an instance of outlet adapter, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the corpuscular object and the corpuscular object is made of metal
(=> (instance ?B BowlingBall) (exists (?HOLES) (and (instance ?HOLES Collection) (memberType ?HOLES Hole) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 1053-1066	If an object is an instance of bowling ball, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and 3 is a member count of the collection and the collection is located at the object and the collection has the purpose there exist an entity and another entity such that the other entity is a member of the collection and the entity is an instance of finger and the entity partially fills the other entity
(=> (instance ?CC CombustionChamber) (exists (?H) (and (instance ?H Hole) (equal ?CC (HoleHostFn ?H)))))	Cars.kif 1700-1705	If an object is an instance of combustion chamber, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
(=> (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 17498-17506	If a physical is an instance of drill, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of cutting and the other entity is an instance of hole and the other entity is a result of the entity and the physical is an instrument for the entity
(=> (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 2843-2872	If a physical is an instance of gasket, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of corpuscular object and the other entity is an instance of corpuscular object and the entity meets the physical and the other entity meets the physical and there doesn't exist a third entity such that the third entity is an instance of hole and the physical is equal to the host of the hole the third entity and a fourth entity is an instance of translocation and the third entity is path along which the fourth entity occurs and the fourth entity originates at a fifth entity and the fourth entity ends up at a sixth entity and the entity contains the fifth entity and the entity doesn't contain the sixth entity and the entity meets the sixth entity and there doesn't exist the fifth entity3 such that the third entity contains the fifth entity3 and the entity doesn't contain the fifth entity3 and the other entity doesn't contain the fifth entity3
(=> (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 1606-1615	If an object is an instance of hydraulic cylinder, then there exist another object, a hole and a third object such that the hole is an instance of hole and the other object is equal to the host of the hole the hole and cylinder is an attribute of the hole and the third object is an instance of piston and the third object is a part of the object and the other object is a part of the object
(=> (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 4934-4954	If a self connected object is an instance of sandal, then there exist a hole and another hole such that the hole is an instance of hole and the hole is a hole in the self connected object and the other hole is an instance of hole and the other hole is a hole in the self connected object and the hole is not equal to the other hole and the hole has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of dressing and the other entity is an instance of foot and the third entity is an agent of the entity and the other entity is a part of the third entity and the fourth entity is a subprocess of the entity and the fourth entity is an instance of inserting and the other entity is a patient of the fourth entity and the fourth entity ends up at the hole
(=> (instance ?U Ulcer) (exists (?H ?BP) (and (instance ?H Hole) (instance ?BP BodyPart) (equal ?BP (HoleHostFn ?H)) (part ?BP ?U))))	Mid-level-ontology.kif 9020-9027	If an object is an instance of ulcer, then there exist a hole and another object such that the hole is an instance of hole and the other object is an instance of body part and the other object is equal to the host of the hole the hole and the other object is a part of the object
(=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H Hole) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum)))))	Cars.kif 4251-4258	If a physical is an instance of vacuum hose, then the physical has the purpose there exists an entity such that the entity is an instance of hole and the physical is equal to the host of the hole the entity and partial vacuum is an attribute of the entity
(=> (instance ?W WasherForBolt) (exists (?H) (and (instance ?H Hole) (equal ?W (HoleHostFn ?H)))))	Mid-level-ontology.kif 4198-4203	If an object is an instance of washer, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole
(=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE Hole) (part ?HOLE ?X))))	Mid-level-ontology.kif 25278-25284	If an object is an instance of electrical outlet, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and the collection is a part of the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners