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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - traverses
traverses

appearance as argument number 1
-------------------------


(documentation traverses ChineseLanguage "(traverses ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 横过或者 是延伸跨越跨 ?OBJ2. 注：crosses 和 penetrates是 traverses 的子类别。") chinese_format.kif 2125-2126
(documentation traverses EnglishLanguage "(traverses ?OBJ1 ?OBJ2) means that ?OBJ1 crosses or extends across ?OBJ2. Note that crosses and penetrates are subrelations of traverses.") Merge.kif 4183-4185
(documentation traverses JapaneseLanguage "(traverses ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2を 横切るか、または延長することを意味する。　注：crosses と penetrates は traverses のサブ リレーションである。") japanese_format.kif 779-781
(domain traverses 1 Object) Merge.kif 4180-4180 The number 1 argument of traverses is an instance of object
(domain traverses 2 Object) Merge.kif 4181-4181 The number 2 argument of traverses is an instance of object
(instance traverses BinaryPredicate) Merge.kif 4178-4178 traverses is an instance of binary predicate
(instance traverses SpatialRelation) Merge.kif 4179-4179 traverses is an instance of spatial relation

appearance as argument number 2
-------------------------


(format ChineseLanguage traverses "%1 %n{doesn't} traverses %2") chinese_format.kif 245-245
(format EnglishLanguage traverses "%1 %n{doesn't} traverse%p{s} %2") english_format.kif 246-246
(format FrenchLanguage traverses "%1 %n{ne} traverse %n{pas} %2") french_format.kif 139-139
(format ItalianLanguage traverses "%1 attraversa %2") relations-it.txt 303-303
(format JapaneseLanguage traverses "%1 は %2 を traverse%p{s} %n{ない}") japanese_format.kif 1971-1971
(format PortugueseLanguage traverses "%1 %n{nao} traversa %n %2") portuguese_format.kif 91-91
(format de traverses "%1 ueberquert %2") relations-de.txt 314-314
(format hi traverses "%1 %2 ko cankramaNa karataa hai") relations-hindi.txt 339-339
(format ro traverses "%1 %n{nu} traverse%t{traverseazã} %2") relations-ro.kif 158-158
(format sv traverses "%1 traverserar %n{inte} %2") relations-sv.txt 144-144
(subrelation crosses traverses) Merge.kif 4193-4193 crosses is a subrelation of traverses
(subrelation penetrates traverses) Merge.kif 4202-4202 penetrates is a subrelation of traverses
(termFormat ChineseLanguage traverses "横断") domainEnglishFormat.kif 59103-59103 penetrates is a subrelation of traverses
(termFormat ChineseLanguage traverses "横跨") chinese_format.kif 246-246 penetrates is a subrelation of traverses
(termFormat ChineseTraditionalLanguage traverses "橫斷") domainEnglishFormat.kif 59102-59102 penetrates is a subrelation of traverses
(termFormat EnglishLanguage traverses "traverses") domainEnglishFormat.kif 59101-59101 penetrates is a subrelation of traverses
(termFormat de traverses "ueberquert") terms-de.txt 101-101 penetrates is a subrelation of traverses

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


(=>
    (traverses ?OBJ1 ?OBJ2)
    (or
        (crosses ?OBJ1 ?OBJ2)
        (penetrates ?OBJ1 ?OBJ2)))		 Merge.kif 4187-4191

consequent
-------------------------


(=>
    (and
        (equal ?N NorthPole)
        (located ?N ArcticRegion))
    (exists (?A)
        (and
            (axis ?A PlanetEarth)
            (traverses ?A ?N))))		 Geography.kif 3824-3831
(=>
    (and
        (equal ?S SouthPole)
        (located ?S Antarctica))
    (exists (?A)
        (and
            (axis ?A PlanetEarth)
            (traverses ?A ?S))))		 Geography.kif 3851-3858
(=>
    (holdsDuring ?T
        (attribute ?H OpenFracture))
    (exists (?S ?B)
        (and
            (instance ?S Skin)
            (part ?S ?H)
            (instance ?B Bone)
            (part ?B ?H)
            (holdsDuring ?T
                (traverses ?B ?S)))))		 Medicine.kif 6130-6140
(=>
    (instance ?B Basket)
    (exists (?WARP ?WEFT)
        (and
            (part ?WARP ?B)
            (part ?WEFT ?B)
            (traverses ?WARP ?WEFT)
            (not
                (equal ?WARP ?WEFT)))))		 Mid-level-ontology.kif 4558-4566
(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))		 Geography.kif 5686-5691
(=>
    (instance ?W Wickering)
    (hasPurpose ?W
        (exists (?WICK ?OBJ ?WARP ?WEFT)
            (and
                (instance ?WICK Wicker)
                (patient ?W ?WICK)
                (part ?WARP ?WICK)
                (part ?WEFT ?WICK)
                (traverses ?WARP ?WEFT)
                (not
                    (equal ?WARP ?WEFT))
                (result ?W ?OBJ)
                (instance ?OBJ Artifact)))))		 Mid-level-ontology.kif 4675-4688


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