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 997-998 | |
(documentation hole JapaneseLanguage "(hole ?HOLE ?OBJ) とは、Hole が ?OBJ の Hole で あることを意味する。Hole は、surface Object に位置する書き込み可能なボディである。") | japanese_format.kif 1599-1600 | |
(domain hole 1 HoleRegion) | Merge.kif 994-994 | 域 hole, 1 and HoleRegion |
(domain hole 2 SelfConnectedObject) | Merge.kif 995-995 | 域 hole, 2 and SelfConnectedObject |
(instance hole AsymmetricRelation) | Merge.kif 993-993 | 例 hole and AsymmetricRelation |
(instance hole BinaryPredicate) | Merge.kif 991-991 | 例 hole and BinaryPredicate |
(instance hole SpatialRelation) | Merge.kif 992-992 | 例 hole and SpatialRelation |
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 65853-65853 | |
(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 9885-9892 | |
(=> (and (hole ?HOLE ?OBJ1) (part ?OBJ1 ?OBJ2)) (or (overlapsSpatially ?HOLE ?OBJ2) (hole ?HOLE ?OBJ2))) |
Merge.kif 9903-9909 | |
(=> (and (hole ?HOLE ?OBJ1) (properlyFills ?OBJ2 ?HOLE)) (contains ?OBJ1 ?OBJ2)) |
Merge.kif 1035-1039 |
|
(=> (and (hole ?HOLE1 ?OBJ) (hole ?HOLE2 ?OBJ)) (forall (?HOLE3) (=> (part ?HOLE3 (MereologicalSumFn ?HOLE1 ?HOLE2)) (hole ?HOLE3 ?OBJ)))) |
Merge.kif 9894-9901 | |
(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2)) |
Merge.kif 9911-9916 | |
(=> (and (instance ?land CaveMatrix) (instance ?cave Cave) (hole ?cave ?land)) (equal ?land (HoleSkinFn ?cave))) |
Geography.kif 6060-6065 |
|
(=> (hole ?HOLE ?OBJ) (connected ?HOLE ?OBJ)) |
Merge.kif 9935-9937 | |
(=> (hole ?HOLE ?OBJ) (instance ?HOLE HoleRegion)) |
Merge.kif 9871-9873 | |
(=> (hole ?HOLE ?OBJ) (not (instance ?OBJ HoleRegion))) |
Merge.kif 9875-9878 | |
(=> (hole ?HOLE ?OBJ) (not (overlapsSpatially ?HOLE ?OBJ))) |
Merge.kif 9880-9883 |
consequent |