Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - penetrates
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 4211-4213
(documentation penetrates JapaneseLanguage "(penetrates ?OBJ1 ?OBJ2) とは、?OBJ1 が少なくとも 1つの寸法 (長さ、幅、または深さ) に沿って OBJ2 に対して connected ことを意味する。") japanese_format.kif 784-785
(instance penetrates AsymmetricRelation) Merge.kif 4207-4207 penetrates is an instance of asymmetric relation
(instance penetrates IntransitiveRelation) Merge.kif 4208-4208 penetrates is an instance of intransitive relation
(instance penetrates PartialValuedRelation) Merge.kif 4209-4209 penetrates is an instance of partial valued relation
(subrelation penetrates traverses) Merge.kif 4206-4206 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 45018-45018
(termFormat ChineseLanguage penetrates "穿过") chinese_format.kif 218-218
(termFormat ChineseTraditionalLanguage penetrates "滲透") domainEnglishFormat.kif 45017-45017
(termFormat EnglishLanguage penetrates "penetrates") domainEnglishFormat.kif 45016-45016
(termFormat de penetrates "dringtEin") terms-de.txt 90-90

antecedent
-------------------------


(=>
    (penetrates ?X ?Y)
    (meetsSpatially ?X ?Y))
Merge.kif 4215-4217

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 4191-4195


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