Simple Browser
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Sentence
Sigma KEE - Sentence
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
Sentence
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
.
Relationships
Parents
LinguisticExpression
This is the subclass of
ContentBearingPhysical
which are language-related. Note that this
Class
encompasses both
Language
and the the elements of
Language
s, e.g.
Word
s.
Children
Formula
A syntactically well-formed formula in the SUO-KIF knowledge representation language.
Order
A
Sentence
that expresses an order for something or that something be done.
Question
An interrogative
Sentence
, a
Sentence
that poses a question.
Request
A
Sentence
that expresses a request for something or that something be done.
Statement
A
Sentence
that is stated to be true.
Supposition
A
Sentence
that is assumed to be true, possibly just for the sake of argument.
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