| appearance as argument number 1 |
|
| (disjointRelation crosses connected) | Merge.kif 4110-4110 | 横过 和 相连 是 disjoint 关系 |
| (documentation crosses ChineseLanguage "(crosses ?OBJ1 ?OBJ2) 的意思是 Object ?OBJ1 traverses 物体 ?OBJ2，但是并没有和它 connected。") | chinese_format.kif 2127-2128 | |
| (documentation crosses EnglishLanguage "(crosses ?OBJ1 ?OBJ2) means that Object ?OBJ1 traverses Object ?OBJ2, without being connected to it.") | Merge.kif 4112-4114 | |
| (instance crosses AsymmetricRelation) | Merge.kif 4108-4108 | 横过 是 非对称关系 的 instance |
| (instance crosses TransitiveRelation) | Merge.kif 4109-4109 | 横过 是 传递关系 的 instance |
| (subrelation crosses traverses) | Merge.kif 4107-4107 | 横过 是 横跨 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage crosses "%1 %n{doesn't} crosses %2") | chinese_format.kif 205-205 | |
| (format EnglishLanguage crosses "%1 %n{doesn't} crosse%p{s} %2") | english_format.kif 206-206 | |
| (termFormat ChineseLanguage crosses "十字架") | domainEnglishFormat.kif 17865-17865 | |
| (termFormat ChineseLanguage crosses "横过") | chinese_format.kif 206-206 | |
| (termFormat ChineseTraditionalLanguage crosses "十字架") | domainEnglishFormat.kif 17864-17864 | |
| (termFormat EnglishLanguage crosses "crosses") | domainEnglishFormat.kif 17863-17863 |
| consequent |
|
|
| (=> (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 4394-4410 |
|
| (=> (traverses ?OBJ1 ?OBJ2) (or (crosses ?OBJ1 ?OBJ2) (penetrates ?OBJ1 ?OBJ2))) |
Merge.kif 4101-4105 |
|
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