Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| crosses |
| appearance as argument number 1 |
|
| (subrelation crosses traverses) | Merge.kif 4307-4307 | crosses is a subrelation of traverses |
| (domain crosses 1 Object) | Merge.kif 4308-4308 | The number 1 argument of crosses is an instance of object |
| (domain crosses 2 Object) | Merge.kif 4309-4309 | The number 2 argument of crosses is an instance of object |
| (instance crosses AsymmetricRelation) | Merge.kif 4310-4310 | crosses is an instance of asymmetric relation |
| (instance crosses TransitiveRelation) | Merge.kif 4311-4311 | crosses is an instance of transitive relation |
| (disjointRelation crosses connected) | Merge.kif 4312-4312 | crosses and connected are disjoint |
| (documentation crosses EnglishLanguage "(crosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it.") | Merge.kif 4314-4316 | crosses and connected are disjoint |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage crosses "crosses") | domainEnglishFormat.kif 17874-17874 | |
| (termFormat ChineseTraditionalLanguage crosses "十字架") | domainEnglishFormat.kif 17875-17875 | |
| (termFormat ChineseLanguage crosses "十字架") | domainEnglishFormat.kif 17876-17876 | |
| (format EnglishLanguage crosses "%1 %n{doesn't} crosse%p{s} %2") | english_format.kif 206-206 |
| consequent |
|
|
| (=> (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 |
| (=> (instance ?C Chain) (exists (?CL1 ?CL2 ?CL3) (and (instance ?CL1 ChainLink) (instance ?CL2 ChainLink) (instance ?CL3 ChainLink) (not (equal ?CL1 ?CL2)) (not (equal ?CL2 ?CL3)) (not (equal ?CL3 ?CL1)) (crosses ?CL1 ?CL2) (crosses ?CL2 ?CL3) (not (crosses ?CL1 ?CL3))))) |
Cars.kif 4298-4314 | If X is an instance of chain, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chain link (3) Z is an instance of chain link (4) W is an instance of chain link (5) equal Y (6) Z (7) equal Z (8) W (9) equal W (10) Y (11) Y crosses Z (12) Z crosses W (13) Y doesn't crosse W |
|