| 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 996-997 | |
| (documentation hole JapaneseLanguage "(hole ?HOLE ?OBJ) とは、Hole が ?OBJ の Hole で あることを意味する。Hole は、surface Object に位置する書き込み可能なボディである。") | japanese_format.kif 1599-1600 | |
| (domain hole 1 HoleRegion) | Merge.kif 993-993 | |
| (domain hole 2 SelfConnectedObject) | Merge.kif 994-994 | |
| (instance hole AsymmetricRelation) | Merge.kif 992-992 | |
| (instance hole BinaryPredicate) | Merge.kif 990-990 | |
| (instance hole SpatialRelation) | Merge.kif 991-991 |
| 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 65893-65893 | |
| (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 9931-9938 | |
| (=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 9949-9955 | |
| (=> (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE)) (contains ?OBJ1 ?OBJ2)) |
Merge.kif 1034-1038 | |
| (=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9940-9947 | |
| (=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9957-9962 | |
| (=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 6036-6041 | |
| (=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ)) |
Merge.kif 9981-9983 | |
| (=> (hole ?HOLE ?OBJ) (instance ?HOLE HoleRegion)) |
Merge.kif 9917-9919 | |
| (=> (hole ?HOLE ?OBJ) (not (instance ?OBJ HoleRegion))) |
Merge.kif 9921-9924 | |
| (=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ))) |
Merge.kif 9926-9929 |
| consequent |
|
|
| (=> (and (hole ?HOLE ?OBJ1) (hole ?HOLE ?OBJ2)) (exists (?OBJ3) (and (properPart ?OBJ3 (MereologicalProductFn ?OBJ1 ?OBJ2)) (hole ?HOLE ?OBJ3)))) |
Merge.kif 9931-9938 | |
| (=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 9949-9955 | |
| (=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9940-9947 | |
| (=> (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 18389-18396 | |
| (=> (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 | |
| (=> (attribute ?C ContainerEmpty) (not (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (partiallyFills ?S ?C))))) |
Mid-level-ontology.kif 1621-1628 | |
| (=> (attribute ?C ContainerFull) (exists (?H ?S) (and (instance ?H HoleRegion) (hole ?H ?C) (fills ?S ?C)))) |
Mid-level-ontology.kif 1639-1645 | |
| (=> (contains ?OBJ1 ?OBJ2) (exists (?HOLE) (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE)))) |
Merge.kif 1027-1032 | |
| (=> (instance ?Canyon Canyon) (exists (?Hole) (hole ?Hole ?Canyon))) |
Geography.kif 4239-4242 | |
| (=> (instance ?HOLE HoleRegion) (exists (?OBJ) (hole ?HOLE ?OBJ))) |
Merge.kif 9912-9915 | |
| (=> (instance ?PC PorousContainer) (exists (?HOLE) (and (instance ?HOLE HoleRegion) (hole ?HOLE ?PC)))) |
Mid-level-ontology.kif 4512-4517 | |
| (=> (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 1758-1766 | |
| (=> (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 5206-5226 | |
| (=> (instance ?Slot ATMSlot) (exists (?ATM) (and (instance ?ATM ATMMachine) (hole ?Slot ?ATM)))) |
FinancialOntology.kif 3662-3667 | |
| (=> (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 | |
| (=> (instance ?cave Cave) (exists (?land) (and (instance ?land CaveMatrix) (hole ?cave ?land)))) |
Geography.kif 6029-6034 |
|
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