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

Formal Language: 



KB Term: 

  Tide

Sigma KEE - Formula
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
公式
一个句法结构良好、以SUO-KIF知识表示语言的公式。
Relationships      
Parents 句子 A syntactically well-formed formula of a Language. It includes, at minimum, a predicate and a subject (which may be explicit or implicit), and it expresses a Proposition.


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