| 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 45056-45056 | |
| (termFormat ChineseLanguage penetrates "穿过") | chinese_format.kif 218-218 | |
| (termFormat ChineseTraditionalLanguage penetrates "滲透") | domainEnglishFormat.kif 45055-45055 | |
| (termFormat EnglishLanguage penetrates "penetrates") | domainEnglishFormat.kif 45054-45054 | |
| (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 |
|
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