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

二元述詞 (BinaryPredicate)

A Predicate relating two items - its valence is two.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  二元述詞  

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  述詞  
is subclass of
[tree]
實體
is subclass of
  抽象的  
is subclass of
  關係  
is subclass of
  二元關係  
is subclass of
is subclass of
  二元述詞  

Instance(s)

實例  倒序  次種類  次關係  相等  範圍  範圍次種類  （結合）價  文字說明  無交集  SUMO內部相關概念  次屬性  續接屬性  封閉續接屬性  物質  次聚集  包含訊息  特性  小於  大於  小於或等於  大於或等於  增加可能性  降低可能性  獨立或然率  在注意範圍中  串列中  次序列  初始化序列  封閉於  反射於...  非反射於...  偏序於...  全序於...  三分法  等同關係於  分配  肇因  次類肇因  複製  時間  在...期間為真  利用  有意圖  有技巧  有權使...為真  須使...為真  部分位於  擁有  先決條件  抑制  避免  提及  包含訊息種類  包含訊息實例  以...語言表達  次命題  使用  同一元素  元素  圖部分  次圖  路徑長  弧線重量  測量  大於  小於  持續時間  次數  時間部分  開始  完成  先於或同時  時段重疊  時段相接  較早  共生  日期  相連的  洞  次歷程  發展期形式  居住  雙親  兄弟姊妹  作者  編者  出版  人造物版本  家族關係  雇用  公民  面對  情態屬性 

Subclass(es)

格位角色 

Coordinate term(s)

反對稱關係  二元函數  二元關係  格位角色  函數  意圖關係  非可遞關係  非反身關係  邏輯運算元  受事導向（歷程）  述詞  或然率關係  命題態度  四元函數  四元述詞  四元關係  五元述詞  五元關係  反身關係  與量關係  單值關係  空間關係  對稱關係  時間關係  三元函數  三元述詞  三元關係  可遞關係  三角關係  一元函數 

Axioms (1)

If rel 是 二元述詞 的 實例, then rel %&有 論元(s) . 
(=>
      (instance ?REL BinaryPredicate)
      (valence ?REL 2))