Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| traverses |
| appearance as argument number 1 |
|
| (instance traverses BinaryPredicate) | Merge.kif 4292-4292 | traverses is an instance of binary predicate |
| (instance traverses SpatialRelation) | Merge.kif 4293-4293 | traverses is an instance of spatial relation |
| (domain traverses 1 Object) | Merge.kif 4294-4294 | The number 1 argument of traverses is an instance of object |
| (domain traverses 2 Object) | Merge.kif 4295-4295 | The number 2 argument of traverses is an instance of object |
| (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 4297-4299 | The number 2 argument of traverses is an instance of object |
| appearance as argument number 2 |
|
|
| (subrelation crosses traverses) | Merge.kif 4307-4307 | crosses is a subrelation of traverses |
| (subrelation penetrates traverses) | Merge.kif 4318-4318 | penetrates is a subrelation of traverses |
| (termFormat EnglishLanguage traverses "traverses") | domainEnglishFormat.kif 59065-59065 | penetrates is a subrelation of traverses |
| (termFormat ChineseTraditionalLanguage traverses "橫斷") | domainEnglishFormat.kif 59066-59066 | penetrates is a subrelation of traverses |
| (termFormat ChineseLanguage traverses "横断") | domainEnglishFormat.kif 59067-59067 | penetrates is a subrelation of traverses |
| (format EnglishLanguage traverses "%1 %n{doesn't} traverse%p{s} %2") | english_format.kif 246-246 | penetrates is a subrelation of traverses |
| antecedent |
|
|
| (=> (traverses ?OBJ1 ?OBJ2) (or (crosses ?OBJ1 ?OBJ2) (penetrates ?OBJ1 ?OBJ2))) |
Merge.kif 4301-4305 | If X traverses Y, then X crosses Y or X penetrates Y |
| consequent |
|
|
| (=> (instance ?B Basket) (exists (?WARP ?WEFT) (and (part ?WARP ?B) (part ?WEFT ?B) (traverses ?WARP ?WEFT) (not (equal ?WARP ?WEFT))))) |
Mid-level-ontology.kif 5101-5109 | If X is an instance of basket, then there exist Y, Z such that Y is a part of X, Z is a part of X, Y traverses Z, equal Y, and Z |
| (=> (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 5218-5231 | If X is an instance of wickering, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of wicker (3) Y is a patient of X (4) W is a part of Y (5) V is a part of Y (6) W traverses V (7) equal W (8) V (9) Z is a result of X (10) Z is an instance of artifact |
| (=> (instance ?DAM Dam) (exists (?RIVER) (and (instance ?RIVER WaterArea) (traverses ?DAM ?RIVER)))) |
Geography.kif 7217-7222 | If X is an instance of dam, then there exists Y such that Y is an instance of water area and X traverses Y |
| (=> (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 6175-6185 | If open fracture is an attribute of X holds during Y, then there exist Z, W such that Z is an instance of skin, Z is a part of X, W is an instance of bone, W is a part of X, and W traverses Z holds during Y |
| appearance as argument number 0 |
|
|
|