Simple Browser
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Sentence
Entity
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
phrase
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
expression linguistique
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
formule
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