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

Formal Language: 



KB Term:  Term intersection
English Word: 

  traverses

Sigma KEE - traverses
traverses

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


(documentation traverses ChineseLanguage "(traverses ?OBJ1 ?OBJ2) 的意思是 ?OBJ1 横过或者 是延伸跨越跨 ?OBJ2. 注:crossespenetratestraverses 的子类别。") 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 4187-4189
(documentation traverses JapaneseLanguage "(traverses ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2を 横切るか、または延長することを意味する。 注:crossespenetratestraverses のサブ リレーションである。") japanese_format.kif 779-781
(domain traverses 1 Object) Merge.kif 4184-4184 Le nombre 1 argument de traverses est une instance de objet
(domain traverses 2 Object) Merge.kif 4185-4185 Le nombre 2 argument de traverses est une instance de objet
(instance traverses BinaryPredicate) Merge.kif 4182-4182 traverses est une instance de pr�dicat binaire
(instance traverses SpatialRelation) Merge.kif 4183-4183 traverses est une instance de relation spatial

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 4197-4197 crosses est une sous-relation de traverses
(subrelation penetrates traverses) Merge.kif 4206-4206 penetrates est une sous-relation de traverses
(termFormat ChineseLanguage traverses "横断") domainEnglishFormat.kif 59090-59090
(termFormat ChineseLanguage traverses "横跨") chinese_format.kif 246-246
(termFormat ChineseTraditionalLanguage traverses "橫斷") domainEnglishFormat.kif 59089-59089
(termFormat EnglishLanguage traverses "traverses") domainEnglishFormat.kif 59088-59088
(termFormat de traverses "ueberquert") terms-de.txt 101-101

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


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

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


(=>
    (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 6144-6154
(=>
    (instance ?B Basket)
    (exists (?WARP ?WEFT)
        (and
            (part ?WARP ?B)
            (part ?WEFT ?B)
            (traverses ?WARP ?WEFT)
            (not
                (equal ?WARP ?WEFT)))))
Mid-level-ontology.kif 4490-4498
(=>
    (instance ?DAM Dam)
    (exists (?RIVER)
        (and
            (instance ?RIVER WaterArea)
            (traverses ?DAM ?RIVER))))
Geography.kif 5617-5622
(=>
    (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 4607-4620


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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