Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term: 

  TernaryRelation

Sigma KEE - TernaryRelation
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
三元关系
TernaryRelation 连接三个项目, TernaryRelation 的两个 subclassTernaryPredicateBinaryFunction
Relationships      
Parents 可继承的关系 The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  关系 The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
Children 二元函数The Class of Functions that require two arguments.
 三元谓语The Class of Predicates that require exactly three arguments.
Instances问价格(askPrice ?Obj ?Money ?Agent) means that ?Agent offers to sell ?Obj for the amount of ?Money.
 releaseForSale(releaseForSale ?OBJ ?AREA ?TIME) means that Object ?OBJ was released for sale in GeographicArea ?AREA at TimePoint ?TIME
 securityQAA Question that has an answer, created or selected by the user, that provides a degree of security for accessing a given Account. Typically, security questions are either a method for two_factor security, in addition to a user name and password, or a sort of alternate password that allows a user to unlock an account if a password has been forgotten.
 税收递延收入Income whose taxes can be postponed until a later date. Examples include IRA, 401(k), Keogh Plan, annuity, Savings Bond and Employee Stock Ownership Plan.


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


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