Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

相交 (crosses)

(crosses obj1 obj2) means that Object obj1 traverses Object obj2, without being connected to it.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

不對稱關係
is instance of
可遞關係
is instance of
is instance of
  相交  

Superrelation(s)

橫越
is subrelation of
  相交  

Coordinate term(s)

反面函數  計數函數  正面函數  主體函數  或然率函數  表皮函數  屬性  作者  先於  肇因  次類肇因  公民  封閉於  填滿  包含訊息  日期  發展期形式  文字說明  持續時間  期間  較早  編者  元素  等同關係於  利用  以...語言表達  填充  完成  次數  圖部分  大於  有意圖  有技巧  在...期間為真  須使...為真  有權使...為真  洞  同一元素  直接實例  直接次種類  串列中  在注意範圍中  居住  內部  非反射於...  大於  小於  方式/情狀  測量  時段相接  成員  情態屬性  雙親  偏序於...  部分填充  路徑長  穿入  擁有  先決條件  正部分  適當填充  出版  範圍  範圍次種類  實現  反射於...  小於  開始  次聚集  次圖  次組織  次計畫  次命題  續接屬性  封閉續接屬性  外表部分  表面  時間部分  時間  全序於...  三分法  使用  （結合）價  人造物版本 

Axioms (2)

If obj1 橫越 obj2, then obj1 與 obj2 相交 or 穿入(obj1,obj2) holds. 
(=>
      (traverses ?OBJ1 ?OBJ2)
      (or
            (crosses ?OBJ1 ?OBJ2)
            (penetrates ?OBJ1 ?OBJ2)))
無交集關係(相交,相連的) holds. 
(disjointRelation crosses connected)