HoleRegion - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HoleRegion ChineseLanguage "洞是一个位于 Object 物体表面没有形体的部分。因为每个 HoleRegion 在本体上依靠着它的主体(即是那个开着洞的物体),一个 HoleRegion 的定于是它是在某处的 hole。注：两个 HoleRegion 可以占据同一个地区或者相同地区的一部分，而没有任何共同的部分。一个洞的任何两个主体有一个完全承载这个洞的共同真正部分。两个洞的共同主体承载洞的所有部分，任何含有洞为主体的物体就是那个洞的主体，除非它的部分也包含这个洞的部分。崇德的洞拥有重叠的主体，没有洞拥有原子性的特性，洞与它的主体相连，没有洞可以有一个真正的部分，而这个真正的部分和有着这个洞本身完全相同的物质，在外部相连接。")	chinese_format.kif 2857-2862
(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 9976-9987
(documentation HoleRegion JapaneseLanguage "ホールは、Object の表面に位置する重要でないボディである。すべての Hole は、そのホスト主(すなわち、それがホールであるオブジェクト)に依存しているので、 Hole は何かの中で hole であると定義される。注：２つの Hole は、パーツを共有せずに、同じ領域または同じ領域の一部を占有する場合がある。ホールの任意の２つのホストは、完全にホールをホストする共通の適切な部分を持ってる。２つのホールの共通ホストは、それらのホールの合計のすべての部分をホストする。ホールのホストを含むオブジェクトは、その部分がまさにそのホールの一部として含まれていない限り、そのホールのホストである。重なり合うホールには、ホストが重なり合う。ホールは原子ではないホールはホストと接続されている。ホール自体とまったく同じものに外部的に接続されている適切な部分を持つホールはない。")	japanese_format.kif 1601-1609
(externalImage HoleRegion "http://articulatesoftware.com/SUMOpictures/recreation/ sports/ golf/ HoleRegion_10.png")	pictureList.kif 500-500
(subclass HoleRegion Region)	Merge.kif 9974-9974	Hole is a subclass of region

appearance as argument number 2

(instance SouthSandwichTrench HoleRegion)	Geography.kif 4761-4761	South sandwich trench is an instance of hole
(subclass ATMSlot HoleRegion)	FinancialOntology.kif 3677-3677	ATM slot is a subclass of hole
(subclass BodyOrifice HoleRegion)	Mid-level-ontology.kif 13396-13396	Body orifice is a subclass of hole
(subclass Burrow HoleRegion)	Geography.kif 6097-6097	Burrow is a subclass of hole
(subclass Cave HoleRegion)	Geography.kif 6082-6082	Cave is a subclass of hole
(subclass Crankcase HoleRegion)	Cars.kif 324-324	Crankcase is a subclass of hole
(subclass Glottis HoleRegion)	Mid-level-ontology.kif 7098-7098	Glottis is a subclass of hole
(subclass GolfHole HoleRegion)	Sports.kif 971-971	Golf hole is a subclass of hole
(subclass InternalCombustionChamber HoleRegion)	Cars.kif 311-311	Internal combustion chamber is a subclass of hole
(subclass Pupil HoleRegion)	Mid-level-ontology.kif 13470-13470	Pupil is a subclass of hole
(termFormat ChineseLanguage HoleRegion "洞")	chinese_format.kif 944-944	Pupil is a subclass of hole
(termFormat EnglishLanguage HoleRegion "hole")	english_format.kif 1095-1095	Pupil is a subclass of hole
(termFormat FrenchLanguage HoleRegion "trou")	french_format.kif 620-620	Pupil is a subclass of hole
(termFormat Hindi HoleRegion "antaraala")	terms-hindi.txt 151-151	Pupil is a subclass of hole
(termFormat ItalianLanguage HoleRegion "apertura")	terms-it.txt 154-154	Pupil is a subclass of hole
(termFormat PortugueseLanguage HoleRegion "Buraco")	portuguese_format.kif 572-572	Pupil is a subclass of hole
(termFormat cb HoleRegion "buhu")	terms-cb.txt 156-156	Pupil is a subclass of hole
(termFormat cz HoleRegion "hole")	terms-cz.txt 188-188	Pupil is a subclass of hole
(termFormat de HoleRegion "Loch")	terms-de.txt 447-447	Pupil is a subclass of hole
(termFormat ro HoleRegion "gaurã")	relations-ro.kif 641-641	Pupil is a subclass of hole
(termFormat tg HoleRegion "butas")	terms-tg.txt 155-155	Pupil is a subclass of hole

appearance as argument number 3

(domain HoleHostFn 1 HoleRegion)	Merge.kif 10050-10050	The number 1 argument of hole host is an instance of hole
(domain HoleSkinFn 1 HoleRegion)	Merge.kif 10193-10193	The number 1 argument of hole skin is an instance of hole
(domain completelyFills 2 HoleRegion)	Merge.kif 10126-10126	The number 2 argument of completely fills is an instance of hole
(domain cylinderBore 1 HoleRegion)	Cars.kif 1538-1538	The number 1 argument of cylinder bore is an instance of hole
(domain fills 2 HoleRegion)	Merge.kif 10149-10149	The number 2 argument of fills is an instance of hole
(domain hole 1 HoleRegion)	Merge.kif 989-989	The number 1 argument of hole is an instance of hole
(domain partiallyFills 2 HoleRegion)	Merge.kif 10101-10101	The number 2 argument of partially fills is an instance of hole
(domain properlyFills 2 HoleRegion)	Merge.kif 998-998	The number 2 argument of properly fills is an instance of hole

antecedent

(=> (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 1541-1550	If the bore of a hole is a length measure and the hole is an instance of hole and the hole is cylinder and an object is a part of the hole and the object is an instance of region and the object is a circle and the circle is equal to circle, then the diameter of the circle is the length measure
(=> (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 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 ?G ExternalGear) (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (instance ?T GearTooth) (part ?T ?G) (surface ?ST ?T)) (not (part ?ST ?G)))	engineering.kif 775-785	If an object is an instance of external gear and a hole is an instance of hole and the object is equal to the host of the hole the hole and a self connected object is an instance of gear tooth and the self connected object is a part of the object and another self connected object is a surface of the self connected object, then the other self connected object is not a part of the object
(=> (and (instance ?HOLE1 HoleRegion) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ)))))	Merge.kif 10062-10070	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
(=> (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2)) (attribute ?HOLE1 Fillable))	Merge.kif 10091-10095	If an object is an instance of hole and another object is a part of the object, then fillable is an attribute of the other object
(=> (instance ?HOLE HoleRegion) (exists (?OBJ) (hole ?HOLE ?OBJ)))	Merge.kif 9989-9992	If a hole is an instance of hole, then there exists a self connected object such that the hole is a hole in the self connected object
(=> (instance ?HOLE1 HoleRegion) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1)))	Merge.kif 10041-10044	If an object is an instance of hole, then there exists another object such that the other object is a proper part of the object

consequent

(=> (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 745-756	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of hole and a third entity is equal to the host of the hole the other entity and the third entity is an instance of throat and the third entity is a part of the entity holds during the end of the time of existence of the process
(=> (and (instance ?T GearTooth) (instance ?G InternalGear) (part ?T ?G) (surface ?S ?T)) (exists (?H) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)) (part ?S ?G))))	engineering.kif 803-814	If a self connected object is an instance of gear tooth and an object is an instance of internal gear and the self connected object is a part of the object and another self connected object is a surface of the self connected 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 and the other self connected object is a part of the object
(=> (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 3624-3639	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, a third time interval and a hole such that the self connected object is an instance of cask and 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 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 HoleRegion) (part ?X ?HOLE2))) (attribute ?X Fillable)))	Food.kif 2770-2783	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 HoleRegion) (hole ?H ?C) (partiallyFills ?S ?C)))))	Mid-level-ontology.kif 2090-2097	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 HoleRegion) (hole ?H ?C) (fills ?S ?C))))	Mid-level-ontology.kif 2108-2114	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 ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2))))	Merge.kif 10084-10089	If fillable is an attribute of an object, then there exists another object such that the other object is an instance of hole and the object is a part of the other object
(=> (attribute ?X RingTorus) (exists (?H) (and (instance ?H HoleRegion) (equal ?X (HoleHostFn ?H)))))	Cars.kif 4478-4483	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
(=> (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 10491-10512	If the per of a real number kilogram force(s) and another real number square millimeter(s) Vickers pyramid number(s) is equal to The Vickers Hardness of a kind of substance is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of a kind of substance and the other entity is an instance of pushing and the other entity ends up at the entity and the third entity is an instance of diamond and the third entity is square pyramid and the third entity is a patient of the other entity and the fourth entity is a result of the other entity and the fourth entity is an instance of hole and the fourth entity is a part of the entity and the fifth entity is a surface of the fourth entity and the other real number square millimeter(s) is a total area of the fifth entity and the measure of the other entity is the real number kilogram force(s) has the modal force of likely
(=> (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 10415-10438	If a real number pound force(s) is equal to The Janka Hardness of a kind of botanical tree is, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of a kind of botanical tree and the other entity is a part of the entity and the other entity is an instance of wood and the third entity is an instance of pushing and the third entity ends up at the other entity and the fourth entity is an instance of ball and steel is made of the fourth entity and the fourth entity is a patient of the third entity and the radius of the fourth entity is 5.64 millimeter(s) and the fifth entity is a result of the third entity and the fifth entity is an instance of hole and the fifth entity is a part of the other entity and the sixth entity is a surface of the other entity and the distance between the sixth entity and the fifth entity is 5.64 millimeter(s) and the measure of the third entity is the real number pound force(s) has the modal force of likely
(=> (hole ?HOLE ?OBJ) (instance ?HOLE HoleRegion))	Merge.kif 9994-9996	If a hole is a hole in a self connected object, then the hole is an instance of hole
(=> (hole ?HOLE ?OBJ) (not (instance ?OBJ HoleRegion)))	Merge.kif 9998-10001	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 HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 27625-27632	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 HoleRegion) (memberCount ?HOLES 3) (located ?HOLES ?B) (hasPurpose ?HOLES (exists (?FINGER ?HOLE) (and (member ?HOLE ?HOLES) (instance ?FINGER Finger) (partiallyFills ?FINGER ?HOLE)))))))	Sports.kif 1139-1152	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 ?B GunBore) (exists (?H) (and (instance ?H HoleRegion) (shape ?B Cylinder) (part ?H ?B) (hole ?H ?B))))	Mid-level-ontology.kif 1391-1398	If a self connected object is an instance of gun bore, then there exists a hole such that the hole is an instance of hole and the self connected object is cylinder and the hole is a part of the self connected object and the hole is a hole in the self connected object
(=> (instance ?CC CombustionChamber) (exists (?H) (and (instance ?H HoleRegion) (equal ?CC (HoleHostFn ?H)))))	Cars.kif 1707-1712	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 ?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 819-835	If a physical is an instance of chest seal, then the physical has the purpose there exist an entity, the entityH,, , a third entity and a fourth entity such that the entity is an instance of closing and the physical is an instrument for the entity and the entity is located at the entityH and the entityH is an instance of chest and the fourth entity is an instance of hole and the entityH is equal to the host of the hole the fourth entity and the third entity is an instance of injuring and the third entity is located at the entityH and the time of existence of the third entity happens earlier than the time of existence of the entity
(=> (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 19701-19709	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 ?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 2827-2856	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 don't exist a third entity, a fourth entity,, , a fifth entity and a sixth 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 the fifth entity is an instance of translocation and the third entity is path along which the fifth entity occurs and the fifth entity originates at the sixth entity and the fifth entity ends up at the fourth entity and the entity contains the sixth entity and the entity doesn't contain the fourth entity and the entity meets the fourth entity and there doesn't exist the sixth entity3 such that the third entity contains the sixth entity3 and the entity doesn't contain the sixth entity3 and the other entity doesn't contain the sixth entity3
(=> (instance ?G InternalGear) (exists (?H) (and (instance ?H HoleRegion) (equal ?G (HoleHostFn ?H)))))	engineering.kif 795-801	If an object is an instance of internal gear, 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 ?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 1612-1622	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 the hole is cylinder 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 ?PC PorousContainer) (exists (?HOLE) (and (instance ?HOLE HoleRegion) (hole ?HOLE ?PC))))	Mid-level-ontology.kif 4981-4986	If a self connected object is an instance of porous container, then there exists a hole such that the hole is an instance of hole and the hole is a hole in the self connected object
(=> (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 6168-6188	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 HoleRegion) (instance ?BP BodyPart) (equal ?BP (HoleHostFn ?H)) (part ?BP ?U))))	Mid-level-ontology.kif 10771-10778	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 HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum)))))	Cars.kif 4309-4316	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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

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

KB Term:			Term intersection

English Word: