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 4195-4197
(documentation traverses JapaneseLanguage "(traverses ?OBJ1 ?OBJ2) とは、?OBJ1が ?OBJ2を横切るか、または延長することを意味する。　注：crosses と penetrates は traverses のサブリレーションである。")	japanese_format.kif 779-781
(domain traverses 1 Object)	Merge.kif 4192-4192	The number 1 argument of traverses is an instance of object
(domain traverses 2 Object)	Merge.kif 4193-4193	The number 2 argument of traverses is an instance of object
(instance traverses BinaryPredicate)	Merge.kif 4190-4190	traverses is an instance of binary predicate
(instance traverses SpatialRelation)	Merge.kif 4191-4191	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 4205-4205	crosses is a subrelation of traverses
(subrelation penetrates traverses)	Merge.kif 4216-4216	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 4199-4203

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

consequent

(=> (and (equal ?N NorthPole) (located ?N ArcticRegion)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?N))))	Geography.kif 3824-3831	If an object is equal to North Pole and the object is located at arctic region, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
(=> (and (equal ?S SouthPole) (located ?S Antarctica)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?S))))	Geography.kif 3851-3858	If an object is equal to South Pole and the object is located at antarctica, then there exists another object such that planet earth is an axis of the other object and the other object traverses the object
(=> (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 6161-6171	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 4954-4962	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 5687-5692	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 5071-5084	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