penetrates |
appearance as argument number 1 |
(documentation penetrates ChineseLanguage "(penetrates ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 和 ?OBJ2 起码在一整个维度(长度、阔度或深度) connected。") | chinese_format.kif 2129-2130 | |
(documentation penetrates EnglishLanguage "(penetrates ?OBJ1 ?OBJ2) means that ?OBJ1 is connected to ?OBJ2 along at least one whole dimension (length, width or depth).") | Merge.kif 4212-4214 | |
(documentation penetrates JapaneseLanguage "(penetrates ?OBJ1 ?OBJ2) とは、?OBJ1 が少なくとも 1つの寸法 (長さ、幅、または深さ) に沿って OBJ2 に対して connected ことを意味する。") | japanese_format.kif 784-785 | |
(instance penetrates AsymmetricRelation) | Merge.kif 4208-4208 | penetrates is an instance of asymmetric relation |
(instance penetrates IntransitiveRelation) | Merge.kif 4209-4209 | penetrates is an instance of intransitive relation |
(instance penetrates PartialValuedRelation) | Merge.kif 4210-4210 | penetrates is an instance of partial valued relation |
(subrelation penetrates traverses) | Merge.kif 4207-4207 | penetrates is a subrelation of traverses |
appearance as argument number 2 |
(format ChineseLanguage penetrates "%1 %n{doesn't} penetrates %2") | chinese_format.kif 217-217 | |
(format EnglishLanguage penetrates "%1 %n{doesn't} penetrate%p{s} %2") | english_format.kif 218-218 | |
(format FrenchLanguage penetrates "%1 %n{ne} p�netre %n{pas} %2") | french_format.kif 128-128 | |
(format ItalianLanguage penetrates "%1 penetra %2") | relations-it.txt 220-220 | |
(format JapaneseLanguage penetrates "%1 は %2 を penetrate%p{s} %n{ない}") | japanese_format.kif 1957-1957 | |
(format PortugueseLanguage penetrates "%1 %n{nao} penetra %n %2") | portuguese_format.kif 80-80 | |
(format de penetrates "%1 dringt %2 ein") | relations-de.txt 281-281 | |
(format hi penetrates "%1 %2 kaa vedhana karataa hai") | relations-hindi.txt 258-258 | |
(format ro penetrates "%1 %n{nu} penetrate%t{penetreazã} %2") | relations-ro.kif 147-147 | |
(format sv penetrates "%1 penetrerar %n{inte} %2") | relations-sv.txt 133-133 | |
(format tg penetrates "%1 ay dumuduro sa %2") | relations-tg.txt 412-412 | |
(termFormat ChineseLanguage penetrates "渗透") | domainEnglishFormat.kif 45020-45020 | |
(termFormat ChineseLanguage penetrates "穿过") | chinese_format.kif 218-218 | |
(termFormat ChineseTraditionalLanguage penetrates "滲透") | domainEnglishFormat.kif 45019-45019 | |
(termFormat EnglishLanguage penetrates "penetrates") | domainEnglishFormat.kif 45018-45018 | |
(termFormat de penetrates "dringtEin") | terms-de.txt 90-90 |
antecedent |
(=> (penetrates ?X ?Y) (meetsSpatially ?X ?Y)) |
Merge.kif 4216-4218 |
consequent |
(=> (instance ?Cape Cape) (exists (?WaterRegion) (and (instance ?WaterRegion WaterArea) (penetrates ?Cape ?WaterRegion)))) |
Geography.kif 5811-5816 |
|
(=> (instance ?INLET Inlet) (exists (?LAND) (and (instance ?LAND LandArea) (penetrates ?INLET ?LAND)))) |
Geography.kif 5225-5230 |
|
(=> (instance ?Peninsula Peninsula) (exists (?Water) (and (instance ?Water WaterArea) (penetrates ?Peninsula ?Water)))) |
Geography.kif 5800-5805 |
|
(=> (traverses ?OBJ1 ?OBJ2) (or (crosses ?OBJ1 ?OBJ2) (penetrates ?OBJ1 ?OBJ2))) |
Merge.kif 4192-4196 |