traverses - Sigma Knowledge base Browser

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 4188-4190
(documentation traverses JapaneseLanguage "(traverses ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2を横切るか、または延長することを意味する。　注：crosses と penetrates は traverses のサブリレーションである。")	japanese_format.kif 779-781
(domain traverses 1 Object)	Merge.kif 4185-4185	The number 1 argument of traverses is an instance of object
(domain traverses 2 Object)	Merge.kif 4186-4186	The number 2 argument of traverses is an instance of object
(instance traverses BinaryPredicate)	Merge.kif 4183-4183	traverses is an instance of binary predicate
(instance traverses SpatialRelation)	Merge.kif 4184-4184	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 4198-4198	crosses is a subrelation of traverses
(subrelation penetrates traverses)	Merge.kif 4207-4207	penetrates is a subrelation of traverses
(termFormat ChineseLanguage traverses "横断")	domainEnglishFormat.kif 59128-59128	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 59127-59127	penetrates is a subrelation of traverses
(termFormat EnglishLanguage traverses "traverses")	domainEnglishFormat.kif 59126-59126	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 4192-4196

If an object traverses another object,
then the object crosses the other object or the object penetrates the other object

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	If open fracture is an attribute of an object holds during a time position, then there exist another object and a third object such that the other object is an instance of skin and the other object is a part of the object and the third object is an instance of bone and the third object is a part of the object and the third object traverses the other object holds during the time position
(=> (instance ?B Basket) (exists (?WARP ?WEFT) (and (part ?WARP ?B) (part ?WEFT ?B) (traverses ?WARP ?WEFT) (not (equal ?WARP ?WEFT)))))	Mid-level-ontology.kif 4485-4493	If an object is an instance of basket, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object traverses the third object and the other object is not equal to the third object
(=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER))))	Geography.kif 5617-5622	If an object is an instance of dam, then there exists another object such that the other object is an instance of water area and the object traverses the other object
(=> (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 4602-4615	If a physical is an instance of wickering, then the physical has the purpose there exist the physicalICK, another entity,, , the physicalARP and the physicalEFT such that the physicalICK is an instance of wicker and the physicalICK is a patient of the physical and the physicalARP is a part of the physicalICK and the physicalEFT is a part of the physicalICK and the physicalARP traverses the physicalEFT and the physicalARP is not equal to the physicalEFT and the other entity is a result of the physical and the other entity is an instance of artifact

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