Browsing Interface
: 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
SSHWS1
SSHWS2
SSHWS3
SSHWS4
SSHWS5
SSHWSAttribute
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - TruthValue
TruthValue
appearance as argument number 1
(
documentation
TruthValue
ChineseLanguage
"这是真值的
Class
,即是指
True
和
False
。它们 属于
Sentence
和
Proposition
的
Attribute
。")
chinese_format.kif 3794-3795
(
documentation
TruthValue
EnglishLanguage
"The
Class
of truth values, e.g.
True
and
False
. These are
Attribute
s of
Sentence
s and
Proposition
s.")
Merge.kif 15832-15833
(
subclass
TruthValue
RelationalAttribute
)
Merge.kif 15831-15831
appearance as argument number 2
(
instance
False
TruthValue
)
Merge.kif 15846-15846
(
instance
True
TruthValue
)
Merge.kif 15843-15843
(
termFormat
ChineseLanguage
TruthValue
"真值")
chinese_format.kif 1235-1235
(
termFormat
EnglishLanguage
TruthValue
"truth value")
english_format.kif 1696-1696
appearance as argument number 3
(
domain
truth
2
TruthValue
)
Merge.kif 15853-15853
antecedent
(=>
(
and
(
property
?ITEM ?VALUE)
(
instance
?VALUE
TruthValue
))
(
or
(
instance
?ITEM
Sentence
)
(
instance
?ITEM
Proposition
)))
Merge.kif 15835-15841
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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