TreeView 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 9875-9886
(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 9873-9873	HoleRegion ist eine teilkategorie von Region

appearance as argument number 2

(instance SouthSandwichTrench HoleRegion)	Geography.kif 4691-4691	SouthSandwichTrench ist ein fall von HoleRegion %n{nicht}
(subclass ATMSlot HoleRegion)	FinancialOntology.kif 3659-3659	ATMSlot ist eine teilkategorie von HoleRegion
(subclass BodyOrifice HoleRegion)	Mid-level-ontology.kif 12046-12046	BodyOrifice ist eine teilkategorie von HoleRegion
(subclass Burrow HoleRegion)	Geography.kif 6027-6027	Burrow ist eine teilkategorie von HoleRegion
(subclass Cave HoleRegion)	Geography.kif 6012-6012	Cave ist eine teilkategorie von HoleRegion
(subclass Crankcase HoleRegion)	Cars.kif 324-324	Crankcase ist eine teilkategorie von HoleRegion
(subclass Glottis HoleRegion)	Mid-level-ontology.kif 6141-6141	Glottis ist eine teilkategorie von HoleRegion
(subclass GolfHole HoleRegion)	Sports.kif 959-959	GolfHole ist eine teilkategorie von HoleRegion
(subclass InternalCombustionChamber HoleRegion)	Cars.kif 311-311	InternalCombustionChamber ist eine teilkategorie von HoleRegion
(subclass Pupil HoleRegion)	Mid-level-ontology.kif 12120-12120	Pupil ist eine teilkategorie von HoleRegion
(termFormat ChineseLanguage HoleRegion "洞")	chinese_format.kif 944-944
(termFormat EnglishLanguage HoleRegion "hole")	english_format.kif 1095-1095
(termFormat FrenchLanguage HoleRegion "trou")	french_format.kif 620-620
(termFormat Hindi HoleRegion "antaraala")	terms-hindi.txt 151-151
(termFormat ItalianLanguage HoleRegion "apertura")	terms-it.txt 154-154
(termFormat PortugueseLanguage HoleRegion "Buraco")	portuguese_format.kif 572-572
(termFormat cb HoleRegion "buhu")	terms-cb.txt 156-156
(termFormat cz HoleRegion "hole")	terms-cz.txt 188-188
(termFormat ro HoleRegion "gaurã")	relations-ro.kif 641-641
(termFormat tg HoleRegion "butas")	terms-tg.txt 155-155

appearance as argument number 3

(domain HoleHostFn 1 HoleRegion)	Merge.kif 9949-9949	Die Zahl 1 Argument von HoleHostFn ist ein fall von HoleRegion %n{nicht}
(domain HoleSkinFn 1 HoleRegion)	Merge.kif 10090-10090	Die Zahl 1 Argument von HoleSkinFn ist ein fall von HoleRegion %n{nicht}
(domain cylinderBore 1 HoleRegion)	Cars.kif 1538-1538	Die Zahl 1 Argument von cylinderBore ist ein fall von HoleRegion %n{nicht}
(domain fills 2 HoleRegion)	Merge.kif 10046-10046	Die Zahl 2 Argument von fills ist ein fall von HoleRegion %n{nicht}
(domain hole 1 HoleRegion)	Merge.kif 994-994	Die Zahl 1 Argument von hole ist ein fall von HoleRegion %n{nicht}
(domain partiallyFills 2 HoleRegion)	Merge.kif 10000-10000	Die Zahl 2 Argument von partiallyFills ist ein fall von HoleRegion %n{nicht}
(domain properlyFills 2 HoleRegion)	Merge.kif 1003-1003	Die Zahl 2 Argument von properlyFills ist ein fall von HoleRegion %n{nicht}

antecedent

(=> (and (cylinderBore ?CY ?M) (instance ?CY HoleRegion) (shape ?CY Cylinder) (part ?CI ?CY) (instance ?CI Region) (shape ?CI Circle)) (diameter ?CI ?M))	Cars.kif 1541-1549	Wenn cylinderBore HoleRegion and LengthMeasure und HoleRegion ist ein fall von HoleRegion %n{nicht} und shape HoleRegion and Cylinder und Object ist ein teil von HoleRegion %n{nicht} und Object ist ein fall von Region %n{nicht} und shape Object and Circle, dann der durchmesser von Object ist ** LengthMeasure %n{nicht}
(=> (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	Wenn SelfConnectedObject ist ein fall von AutomobileShock %n{nicht} und Process ist ein fall von Compressing %n{nicht} und HoleRegion ist ein fall von HoleRegion %n{nicht} und Fluid ist ein attribut von Object %n{nicht} und SelfConnectedObject ist gleich HoleHostFn HoleRegion %n{nicht} und contains SelfConnectedObject and Object und SelfConnectedObject ist ein patient von Process %n{nicht}, dann es gibt Transfer um Transfer ist ein fall von Transfer %n{nicht} und objectTransferred Transfer and Object und HoleRegion ist der pfad entlang dem Transfer geschieht und Process verursacht ** Transfer %n{nicht}
(=> (and (instance ?HOLE1 HoleRegion) (properPart ?HOLE2 ?HOLE1)) (exists (?OBJ) (and (meetsSpatially ?HOLE1 ?OBJ) (not (meetsSpatially ?HOLE2 ?OBJ)))))	Merge.kif 9961-9969	Wenn Object ist ein fall von HoleRegion %n{nicht} und Object ist ein korrektes teil von Object %n{nicht}, dann es gibt Object um Object schliesst Object raeumlich an und Object schliesst Object raeumlich nicht an
(=> (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2)) (attribute ?HOLE1 Fillable))	Merge.kif 9990-9994	Wenn Object ist ein fall von HoleRegion %n{nicht} und Object ist ein teil von Object %n{nicht}, dann Fillable ist ein attribut von Object %n{nicht}
(=> (instance ?HOLE HoleRegion) (exists (?OBJ) (hole ?HOLE ?OBJ)))	Merge.kif 9888-9891	Wenn HoleRegion ist ein fall von HoleRegion %n{nicht}, dann es gibt SelfConnectedObject um HoleRegion ist ein loch in SelfConnectedObject %n{nicht}
(=> (instance ?HOLE1 HoleRegion) (exists (?HOLE2) (properPart ?HOLE2 ?HOLE1)))	Merge.kif 9940-9943	Wenn Object ist ein fall von HoleRegion %n{nicht}, dann es gibt Object um Object ist ein korrektes teil von Object %n{nicht}

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 754-765	Wenn Process ist ein fall von Cricothyroidotomy %n{nicht} und Entity ist ein patient von Process %n{nicht}, dann es gibt entity um entity ist ein fall von HoleRegion %n{nicht} und entity ist gleich HoleHostFn entity %n{nicht} und entity ist ein fall von Throat %n{nicht} und entity ist ein teil von Entity %n{nicht} haelt waehrend das ende von die zeit des Bestehens von ** Process %n{nicht}
(=> (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 3617-3632	Wenn Object ist ein fall von Whiskey %n{nicht} und TimeInterval ist ein fall von Distilling %n{nicht} und Object ist ein resultat von TimeInterval %n{nicht} und Object ist ein hilfmittel fuer TimeIntervalR %n{nicht} und TimeIntervalR ist ein fall von Drinking %n{nicht}, dann es gibt SelfConnectedObject, TimeInterval, and und HoleRegion um SelfConnectedObject ist ein fall von Cask %n{nicht} und HoleRegion ist ein fall von HoleRegion %n{nicht} und HoleRegion ist ein loch in SelfConnectedObject %n{nicht} und Object fuellt SelfConnectedObject teilweise haelt waehrend TimeInterval %n{nicht} und TimeInterval geschieht frueh als TimeInterval %n{nicht} und TimeInterval geschieht frueh als TimeIntervalR %n{nicht}
(=> (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 2763-2776	Wenn Object ist ein fall von Penne %n{nicht} und es gibt nicht Object um Object ist ein fall von Penne %n{nicht} und Object ist ein teil von Object %n{nicht}, dann es gibt Object um Object ist ein fall von HoleRegion %n{nicht} und Object ist ein teil von Object %n{nicht} und Fillable ist ein attribut von ** Object %n{nicht}
(=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (partiallyFills ?S ?C)))))	Mid-level-ontology.kif 1628-1635	Wenn ContainerEmpty ist ein attribut von SelfConnectedObject %n{nicht}, dann es gibt nicht HoleRegion und Object um HoleRegion ist ein fall von HoleRegion %n{nicht} und HoleRegion ist ein loch in SelfConnectedObject %n{nicht} und Object fuellt ** SelfConnectedObject teilweise
(=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (fills ?S ?C))))	Mid-level-ontology.kif 1646-1652	Wenn ContainerFull ist ein attribut von SelfConnectedObject %n{nicht}, dann es gibt HoleRegion und Object um HoleRegion ist ein fall von HoleRegion %n{nicht} und HoleRegion ist ein loch in SelfConnectedObject %n{nicht} und Object fuellt ** SelfConnectedObject %n{nicht}
(=> (attribute ?HOLE1 Fillable) (exists (?HOLE2) (and (instance ?HOLE2 HoleRegion) (part ?HOLE1 ?HOLE2))))	Merge.kif 9983-9988	Wenn Fillable ist ein attribut von Object %n{nicht}, dann es gibt Object um Object ist ein fall von HoleRegion %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (attribute ?X RingTorus) (exists (?H) (and (instance ?H HoleRegion) (equal ?X (HoleHostFn ?H)))))	Cars.kif 4425-4430	Wenn RingTorus ist ein attribut von Object %n{nicht}, dann es gibt HoleRegion um HoleRegion ist ein fall von HoleRegion %n{nicht} und Object ist gleich HoleHostFn ** HoleRegion %n{nicht}
(=> (hole ?HOLE ?OBJ) (instance ?HOLE HoleRegion))	Merge.kif 9893-9895	Wenn HoleRegion ist ein loch in SelfConnectedObject %n{nicht}, dann ** HoleRegion ist ein fall von HoleRegion %n{nicht}
(=> (hole ?HOLE ?OBJ) (not (instance ?OBJ HoleRegion)))	Merge.kif 9897-9900	Wenn HoleRegion ist ein loch in SelfConnectedObject %n{nicht}, dann ** SelfConnectedObject ist ein fall von HoleRegion nicht
(=> (instance ?ADAPT OutletAdapter) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?ADAPT) (material Metal ?ADAPT))))	Mid-level-ontology.kif 25956-25963	Wenn CorpuscularObject ist ein fall von OutletAdapter %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und memberType Collection and HoleRegion und Collection ist ein teil von CorpuscularObject %n{nicht} und Metal ist von ** CorpuscularObject gebildet
(=> (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 1126-1139	Wenn Object ist ein fall von BowlingBall %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und memberType Collection and HoleRegion und memberCount Collection and 3 und Collection befindet sich an %n{nicht} und Collection hat Zweck von es gibt entity und entity um entity ist ein Mitglied von Collection %n{nicht} und entity ist ein fall von Finger %n{nicht} und entity fuellt ** entity teilweise %n{nicht}
(=> (instance ?CC CombustionChamber) (exists (?H) (and (instance ?H HoleRegion) (equal ?CC (HoleHostFn ?H)))))	Cars.kif 1706-1711	Wenn Object ist ein fall von CombustionChamber %n{nicht}, dann es gibt HoleRegion um HoleRegion ist ein fall von HoleRegion %n{nicht} und Object ist gleich HoleHostFn ** HoleRegion %n{nicht}
(=> (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 828-844	Wenn Physical ist ein fall von ChestSeal %n{nicht}, dann Physical hat Zweck von es gibt entity, entityH,, , entity, and und entity um entity ist ein fall von Closing %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity befindet sich an %n{nicht} und entityH ist ein fall von Chest %n{nicht} und entity ist ein fall von HoleRegion %n{nicht} und entityH ist gleich HoleHostFn entity %n{nicht} und entity ist ein fall von Injuring %n{nicht} und entity befindet sich an %n{nicht} und die zeit des Bestehens von entity geschieht frueh als die zeit des Bestehens von ** entity %n{nicht} %n{nicht}
(=> (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 18112-18120	Wenn Physical ist ein fall von Drill %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von Cutting %n{nicht} und entity ist ein fall von HoleRegion %n{nicht} und entity ist ein resultat von entity %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} %n{nicht}
(=> (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 2849-2878	Wenn Physical ist ein fall von Gasket %n{nicht}, dann Physical hat Zweck von es gibt entity und entity um entity ist ein fall von CorpuscularObject %n{nicht} und entity ist ein fall von CorpuscularObject %n{nicht} und entity schliesst Physical raeumlich an und entity schliesst Physical raeumlich an und es gibt nicht entity, entity,, , entity, and und entity um entity ist ein fall von HoleRegion %n{nicht} und Physical ist gleich HoleHostFn entity %n{nicht} und entity ist ein fall von Translocation %n{nicht} und entity ist der pfad entlang dem entity geschieht und entity beginnet an entity %n{nicht} und entity endet an entity %n{nicht} und contains entity and entity und contains entity and entity und entity schliesst entity raeumlich an und es gibt nicht entity3 um contains entity and entity3 und contains entity and entity3 und contains entity and ** entity3 %n{nicht}
(=> (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 1611-1621	Wenn Object ist ein fall von HydraulicCylinder %n{nicht}, dann es gibt Object, HoleRegion, and und Object um HoleRegion ist ein fall von HoleRegion %n{nicht} und Object ist gleich HoleHostFn HoleRegion %n{nicht} und shape HoleRegion and Cylinder und Object ist ein fall von Piston %n{nicht} und Object ist ein teil von Object %n{nicht} und Object ist ein teil von ** Object %n{nicht}
(=> (instance ?PC PorousContainer) (exists (?HOLE) (and (instance ?HOLE HoleRegion) (hole ?HOLE ?PC))))	Mid-level-ontology.kif 4517-4522	Wenn SelfConnectedObject ist ein fall von PorousContainer %n{nicht}, dann es gibt HoleRegion um HoleRegion ist ein fall von HoleRegion %n{nicht} und HoleRegion ist ein loch in ** SelfConnectedObject %n{nicht}
(=> (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 5211-5231	Wenn SelfConnectedObject ist ein fall von Sandal %n{nicht}, dann es gibt HoleRegion und HoleRegion um HoleRegion ist ein fall von HoleRegion %n{nicht} und HoleRegion ist ein loch in SelfConnectedObject %n{nicht} und HoleRegion ist ein fall von HoleRegion %n{nicht} und HoleRegion ist ein loch in SelfConnectedObject %n{nicht} und HoleRegion ist gleich HoleRegion nicht und HoleRegion hat Zweck von es gibt entity, entity,, , entity, and und entity um entity ist ein fall von Dressing %n{nicht} und entity ist ein fall von Foot %n{nicht} und entity ist der agent von entity %n{nicht} und entity ist ein teil von entity %n{nicht} und entity ist ein subProzess von entity und entity ist ein fall von Inserting %n{nicht} und entity ist ein patient von entity %n{nicht} und entity endet an HoleRegion %n{nicht} %n{nicht}
(=> (instance ?U Ulcer) (exists (?H ?BP) (and (instance ?H HoleRegion) (instance ?BP BodyPart) (equal ?BP (HoleHostFn ?H)) (part ?BP ?U))))	Mid-level-ontology.kif 9423-9430	Wenn Object ist ein fall von Ulcer %n{nicht}, dann es gibt HoleRegion und Object um HoleRegion ist ein fall von HoleRegion %n{nicht} und Object ist ein fall von BodyPart %n{nicht} und Object ist gleich HoleHostFn HoleRegion %n{nicht} und Object ist ein teil von Object %n{nicht}
(=> (instance ?VH VacuumHose) (hasPurpose ?VH (exists (?H) (and (instance ?H HoleRegion) (equal ?VH (HoleHostFn ?H)) (attribute ?H PartialVacuum)))))	Cars.kif 4256-4263	Wenn Physical ist ein fall von VacuumHose %n{nicht}, dann Physical hat Zweck von es gibt entity um entity ist ein fall von HoleRegion %n{nicht} und Physical ist gleich HoleHostFn entity %n{nicht} und PartialVacuum ist ein attribut von ** entity %n{nicht} %n{nicht}
(=> (instance ?W WasherForBolt) (exists (?H) (and (instance ?H HoleRegion) (equal ?W (HoleHostFn ?H)))))	Mid-level-ontology.kif 4307-4312	Wenn Object ist ein fall von WasherForBolt %n{nicht}, dann es gibt HoleRegion um HoleRegion ist ein fall von HoleRegion %n{nicht} und Object ist gleich HoleHostFn ** HoleRegion %n{nicht}
(=> (instance ?X ElectricalOutlet) (exists (?HOLE) (and (instance ?HOLE Collection) (memberType ?HOLE HoleRegion) (part ?HOLE ?X))))	Mid-level-ontology.kif 25899-25905	Wenn Object ist ein fall von ElectricalOutlet %n{nicht}, dann es gibt Collection um Collection ist ein fall von Collection %n{nicht} und memberType Collection and HoleRegion und Collection ist ein teil von Object %n{nicht}

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

KB Term:			Term intersection

English Word: