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

appearance as argument number 1

(documentation hole ChineseLanguage "(hole ?HOLE ?OBJ)的意思是 ?HOLE 是在 ?OBJ 的一个 HoleRegion。一个 HoleRegion 是位于一个 Object surface 可以被填满的部分。")	chinese_format.kif 2855-2856
(documentation hole EnglishLanguage "(hole ?HOLE ?OBJ) means that ?HOLE is a HoleRegion in ?OBJ. A HoleRegion is a fillable body located at the surface an Object.")	Merge.kif 1007-1008
(documentation hole JapaneseLanguage "(hole ?HOLE ?OBJ) とは、Hole が ?OBJ の Hole であることを意味する。Hole は、surface Object に位置する書き込み可能なボディである。")	japanese_format.kif 1599-1600
(domain hole 1 HoleRegion)	Merge.kif 1004-1004	The number 1 argument of hole is an instance of hole
(domain hole 2 SelfConnectedObject)	Merge.kif 1005-1005	The number 2 argument of hole is an instance of self connected object
(instance hole AsymmetricRelation)	Merge.kif 1003-1003	hole is an instance of asymmetric relation
(instance hole BinaryPredicate)	Merge.kif 1001-1001	hole is an instance of binary predicate
(instance hole SpatialRelation)	Merge.kif 1002-1002	hole is an instance of spatial relation

appearance as argument number 2

(format ChineseLanguage hole "%1 %n 是 %2 内的 hole")	chinese_format.kif 377-377
(format EnglishLanguage hole "%1 is %n a hole in %2")	english_format.kif 378-378
(format FrenchLanguage hole "%1 est %n un trou dans %2")	french_format.kif 217-217
(format ItalianLanguage hole "%1 è %n un' apertura in %2")	relations-it.txt 132-132
(format JapaneseLanguage hole "%1 は %2 の hole では %n")	japanese_format.kif 2023-2023
(format PortugueseLanguage hole "%1 e' %n um buraco dans %2")	portuguese_format.kif 169-169
(format cz hole "%1 %p{je} %n{nen�} d�ra v %2")	relations-cz.txt 224-224
(format de hole "%1 ist ein loch in %2 %n{nicht}")	relations-de.txt 504-504
(format hi hole "%1 %2 men chhidra %n hai")	relations-hindi.txt 62-62
(format ro hole "%1 %n{nu} este o hole%t{deschizãturã} în %2")	relations-ro.kif 237-237
(format sv hole "%1 är %n{inte} ett hål i %2")	relations-sv.txt 234-234
(format tg hole "%1 %n ay ang butas sa %2")	relations-tg.txt 270-270
(termFormat ChineseLanguage hole "洞")	chinese_format.kif 378-378
(termFormat EnglishLanguage hole "hole")	domainEnglishFormat.kif 65860-65860
(termFormat de hole "loch")	terms-de.txt 157-157
(termFormat tg hole "butas")	relations-tg.txt 271-271

antecedent

(=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3))))	Merge.kif 10023-10030	If a hole is a hole in a self connected object and the hole is a hole in another self connected object, then there exists a third self connected object such that the third self connected object is a proper part of the intersection of the parts of the self connected object and the other self connected object and the hole is a hole in the third self connected object
(=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2)))	Merge.kif 10041-10047	If a hole is a hole in a self connected object and the self connected object is a part of another self connected object, then the hole and the other self connected object overlapsSpatially or the hole is a hole in the other self connected object
(=> (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE)) (contains ?OBJ1 ?OBJ2))	Merge.kif 1045-1049	If a hole is a hole in a self connected object and an object properly fills the hole, then the self connected object contains the object
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))	Merge.kif 10032-10039	If a hole is a hole in a self connected object and another hole is a hole in the self connected object, then for all a third hole if the third hole is a part of the union of the parts of the hole and the other hole, then the third hole is a hole in the self connected object
(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2))	Merge.kif 10049-10054	If a hole is a hole in a self connected object and another hole is a hole in another self connected object and the hole and the other hole overlapsSpatially, then the self connected object and the other self connected object overlapsSpatially
(=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave)))	Geography.kif 6330-6335	If a self connected object is an instance of cave matrix and a hole is an instance of cave and the hole is a hole in the self connected object, then equal the self connected object and the surface of the hole the hole
(=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ))	Merge.kif 10073-10075	If a hole is a hole in a self connected object, then the hole is connected to the self connected object
(=> (hole ?HOLE ?OBJ) (instance ?HOLE HoleRegion))	Merge.kif 10009-10011	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 10013-10016	If a hole is a hole in a self connected object, then the self connected object is not an instance of hole
(=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ)))	Merge.kif 10018-10021	If a hole is a hole in a self connected object, then the hole and the self connected object doesn't overlapsSpatially

consequent

(=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3))))	Merge.kif 10023-10030	If a hole is a hole in a self connected object and the hole is a hole in another self connected object, then there exists a third self connected object such that the third self connected object is a proper part of the intersection of the parts of the self connected object and the other self connected object and the hole is a hole in the third self connected object
(=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2)))	Merge.kif 10041-10047	If a hole is a hole in a self connected object and the self connected object is a part of another self connected object, then the hole and the other self connected object overlapsSpatially or the hole is a hole in the other self connected object
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ))))	Merge.kif 10032-10039	If a hole is a hole in a self connected object and another hole is a hole in the self connected object, then for all a third hole if the third hole is a part of the union of the parts of the hole and the other hole, then the third hole is a hole in the self connected object
(=> (and (instance ?DRILL Drilling) (patient ?DRILL ?OBJ)) (exists (?HOLE) (and (holdsDuring (BeginFn (WhenFn ?DRILL)) (not (hole ?HOLE ?OBJ))) (holdsDuring (EndFn (WhenFn ?DRILL)) (hole ?HOLE ?OBJ)))))	Mid-level-ontology.kif 19670-19677	If a process is an instance of drilling and an entity is a patient of the process, then there exists another entity such that the other entity is not a hole in the entity holds during the beginning of the time of existence of the process and the other entity is a hole in the entity holds during the end of the time of existence of the process
(=> (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
(=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (partiallyFills ?S ?C)))))	Mid-level-ontology.kif 2091-2098	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 2109-2115	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
(=> (contains ?OBJ1 ?OBJ2) (exists (?HOLE) (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE))))	Merge.kif 1038-1043	If a self connected object contains an object, then there exists a hole such that the hole is a hole in the self connected object and the object properly fills the hole
(=> (instance ?B GunBore) (exists (?H) (and (instance ?H HoleRegion) (shape ?B Cylinder) (part ?H ?B) (hole ?H ?B))))	Mid-level-ontology.kif 1392-1399	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 ?Canyon Canyon) (exists (?Hole) (hole ?Hole ?Canyon)))	Geography.kif 4470-4473	If a self connected object is an instance of canyon, then there exists a hole such that the hole is a hole in the self connected object
(=> (instance ?HOLE HoleRegion) (exists (?OBJ) (hole ?HOLE ?OBJ)))	Merge.kif 10004-10007	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 ?PC PorousContainer) (exists (?HOLE) (and (instance ?HOLE HoleRegion) (hole ?HOLE ?PC))))	Mid-level-ontology.kif 4962-4967	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 ?R (OperatingFn InternalCombustionEngine)) (exists (?E ?C ?F) (and (instance ?E InternalCombustionEngine) (instrument ?R ?E) (hole ?C ?E) (instance ?F Combustion) (completelyFills ?F ?C))))	Mid-level-ontology.kif 2228-2236	If a process is an instance of the operating of internal combustion engine, then there exist a self connected object, a hole and an object such that the self connected object is an instance of internal combustion engine and the self connected object is an instrument for the process and the hole is a hole in the self connected object and the object is an instance of burning and the object completely fills the hole
(=> (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 6149-6169	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 equal the hole and 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 ?Slot ATMSlot) (exists (?ATM) (and (instance ?ATM ATMMachine) (hole ?Slot ?ATM))))	FinancialOntology.kif 3680-3685	If a hole is an instance of ATM slot, then there exists a self connected object such that the self connected object is an instance of ATM machine and the hole is a hole in the self connected object
(=> (instance ?X FuelCapLock) (hasPurpose ?X (exists (?TANK ?HOLE ?T) (and (instance ?TANK GasTank) (hole ?HOLE ?TANK) (decreasesLikelihood (holdsDuring ?T (and (connected ?X ?HOLE) (attribute ?X Locked))) (holdsDuring ?T (exists (?STEAL ?FUEL) (and (instance ?STEAL Stealing) (instance ?FUEL Fuel) (located ?FUEL ?TANK) (patient ?STEAL ?FUEL)))))))))	Cars.kif 1016-1034	If a physical is an instance of fuel cap lock, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas tank and the other entity is a hole in the entity and the physical is connected to the other entity and locked is an attribute of the physical holds during the third entity decreases likelihood of there exist a fourth entity and a fifth entity such that the fourth entity is an instance of stealing and the fifth entity is an instance of fuel and the fifth entity is located at the entity and the fifth entity is a patient of the fourth entity holds during the third entity
(=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land))))	Geography.kif 6323-6328	If a hole is an instance of cave, then there exists a self connected object such that the self connected object is an instance of cave matrix and the hole is a hole in the self connected 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