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

三元述詞 (TernaryPredicate)

The Class of Predicates that require exactly three arguments.

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外部相關概念  條件或然率  偏愛  能力  施事者有意圖  賦予權力  賦予義務  介於  施事者呈現  以...語言呈現  連結  距離  標高  深度  時間介於  時間介於或同時  相連  相對方位  有...職位 

Coordinate term(s)

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

Axioms (1)

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