Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
truth
Sigma KEE - truth
truth
appearance as argument number 1
(
documentation
truth
ChineseLanguage
"这是把一句
Sentence
和它的
TruthValue
联系的
BinaryPredicate
。")
chinese_format.kif 3798-3799
(
documentation
truth
EnglishLanguage
"The
BinaryPredicate
that relates a
Sentence
to its
TruthValue
.")
Merge.kif 16992-16993
(
domain
truth
1
Sentence
)
Merge.kif 16990-16990
The number 1 argument of
truth
is an
instance
of
sentence
(
domain
truth
2
TruthValue
)
Merge.kif 16991-16991
The number 2 argument of
truth
is an
instance
of
truth value
(
instance
truth
BinaryPredicate
)
Merge.kif 16989-16989
truth
is an
instance
of
binary predicate
(
subrelation
truth
property
)
Merge.kif 16988-16988
truth
is a
subrelation
of
property
appearance as argument number 2
(
format
ChineseLanguage
truth
"%1 %n 是 %2")
chinese_format.kif 197-197
(
format
EnglishLanguage
truth
"%1 is %n %2")
english_format.kif 198-198
(
format
JapaneseLanguage
truth
"%1 is %2 %n")
japanese_format.kif 1947-1947
(
termFormat
ChineseLanguage
truth
"真值")
chinese_format.kif 198-198
(
termFormat
ChineseLanguage
truth
"真相")
domainEnglishFormat.kif 59360-59360
(
termFormat
ChineseTraditionalLanguage
truth
"真相")
domainEnglishFormat.kif 59359-59359
(
termFormat
EnglishLanguage
truth
"truth")
domainEnglishFormat.kif 59358-59358
consequent
(=>
(
and
(
attribute
?DEVICE
Functioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
True
))
Mid-level-ontology.kif 1844-1848
If
functioning
is an
attribute
of
an object
and
the object
has the purpose
a formula
,
then
the formula
is
true
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
If
malfunctioning
is an
attribute
of
an object
and
the object
has the purpose
a formula
,
then
the formula
is
false
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
False
))
UXExperimentalTerms.kif 549-556
If
a real number
is the
confidence
in
an experimenting
and
the experimenting
is an
instance
of
experimenting
and
a sentence
is an
instance
of
formula
and
the sentence
is a
patient
of
the experimenting
and
the real number
is
equal
to 100,
then
the sentence
is
false
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 540-547
If
a real number
is the
confidence
in
an experimenting
and
the experimenting
is an
instance
of
experimenting
and
a sentence
is an
instance
of
formula
and
the sentence
is a
patient
of
the experimenting
and
the real number
is
equal
to 100,
then
the sentence
is
true
(=>
(
and
(
instance
?E
Electrocardiography
)
(
patient
?E ?H)
(
agent
?E ?D)
(
attribute
?D
MedicalDoctor
))
(
hasPurpose
?E
(
knows
?D
(
exists
(?T)
(
truth
(
attribute
?H
(
ImpairedBodyPartFn
Heart
)) ?T)))))
Medicine.kif 3449-3460
If
a process
is an
instance
of
electrocardiography
and
an entity
is a
patient
of
the process
and
an agent
is an
agent
of
the process
and
medical doctor
is an
attribute
of
the agent
,
then
the process
has the purpose
the agent
know
s there exists
another entity
such that
impaired body part fn
heart
is an
attribute
of
the entity
is
the other entity
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER ?PROP)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6429-6439
If
a process
is an
instance
of
hallucination
and
an agent
experience
s
the process
,
then there exist
the agent
ER and
the agent
ROP such that
the agent
ER is an
instance
of
perception
and
the agent
experience
s
the agent
ER and
the process
cause
s
the agent
ER and
the agent
ER
contain
s information
the agent
ROP and
the agent
ROP
is
false
(=>
(
and
(
instance
?INSTALL
Installing
)
(
patient
?INSTALL ?DEVICE)
(
hasPurpose
?DEVICE ?PURPOSE))
(
holdsDuring
(
EndFn
(
WhenFn
?INSTALL))
(
truth
?PURPOSE
True
)))
Mid-level-ontology.kif 17897-17902
If
a process
is an
instance
of
installing
and
a physical
is a
patient
of
the process
and
the physical
has the purpose
a formula
,
then
the formula
is
true
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?M
Misdiagnosing
)
(
agent
?M ?D)
(
refers
?M ?P)
(
instance
?P
Human
))
(
exists
(?DIS)
(
and
(
containsFormula
?M
(
attribute
?P ?DIS))
(
instance
?DIS
DiseaseOrSyndrome
)
(
believes
?D
(
attribute
?P ?DIS))
(
truth
(
attribute
?P ?DIS)
False
))))
Medicine.kif 4195-4210
If
a process
is an
instance
of
misdiagnosing
and
a cognitive agent
is an
agent
of
the process
and
the process
includes a
reference
to
an entity
and
the entity
is an
instance
of
human
,
then there exists
the cognitive agent
IS such that
the process
contains the formula
the cognitive agent
IS is an
attribute
of
the entity
and
the cognitive agent
IS is an
instance
of
disease or syndrome
and
the cognitive agent
believe
s
the cognitive agent
IS is an
attribute
of
the entity
and
the cognitive agent
IS is an
attribute
of
the entity
is
false
(=>
(
and
(
instance
?R
Regretting
)
(
patient
?R ?T)
(
instance
?T
Sentence
))
(
truth
?T
True
))
Mid-level-ontology.kif 12977-12982
If
a process
is an
instance
of
regretting
and
a sentence
is a
patient
of
the process
and
the sentence
is an
instance
of
sentence
,
then
the sentence
is
true
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 922-929
If
a process
is an
instance
of
tellingA lie
and
an agent
is an
agent
of
the process
and
the process
MENT is a
patient
of
the process
,
then
the agent
believe
s
the process
MENT
is
false
holds
during
the
time
of existence of
the process
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?VALUE 0))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 577-584
If the
p
-value of
an experimenting
is
a real number
and
the experimenting
is an
instance
of
experimenting
and
a sentence
is an
instance
of
formula
and
the sentence
is a
patient
of
the experimenting
and
the real number
is
equal
to 0,
then
the sentence
is
true
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?VALUE 1))
(
truth
?FORMULA
False
))
UXExperimentalTerms.kif 586-593
If the
p
-value of
an experimenting
is
a real number
and
the experimenting
is an
instance
of
experimenting
and
a sentence
is an
instance
of
formula
and
the sentence
is a
patient
of
the experimenting
and
the real number
is
equal
to 1,
then
the sentence
is
false
(=>
(
holdsDuring
?T1
(
prohibits
?A ?F))
(
exists
(?S ?B ?P)
(
and
(
instance
?S
Stating
)
(
during
(
WhenFn
?S) ?T1)
(
agent
?S ?A)
(
containsFormula
?S
(=>
(
causes
(
agent
?P ?B)
(
truth
?F
True
))
(
punishes
?A ?B))))))
Law.kif 65-78
If
an agent
prohibits
an entity
holds
during
a time interval
,
then there exist
a process
,
another entity
and
a third entity
such that
the process
is an
instance
of
stating
and the
time
of existence of
the process
takes place
during
the time interval
and
the agent
is an
agent
of
the process
and
the process
contains the formula
if
the other entity
is an
agent
of
the third entity
cause
s
the entity
is
true
,
then
the agent
punishes
the other entity
(=>
(
holdsDuring
?TIME
(
attribute
?AGENT
Surprise
))
(
exists
(?PART ?PROP)
(
and
(
temporalPart
?PART
(
PastFn
?TIME))
(
holdsDuring
?PART
(
expects
?AGENT ?PROP))
(
holdsDuring
?TIME
(
truth
?PROP
False
)))))
Mid-level-ontology.kif 19348-19354
If
surprise
is an
attribute
of
an entity
holds
during
a time position
,
then there exist
another time position
and
another entity
such that
the other time position
is a
part
of
before
the time position
and
the entity
expects
the other entity
will be true holds
during
the other time position
and
the other entity
is
false
holds
during
the time position
(=>
(
instance
?FACT
Fact
)
(
truth
?FACT
True
))
Mid-level-ontology.kif 14246-14248
If
a sentence
is an
instance
of
fact
,
then
the sentence
is
true
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13027-13032
If
a physical
is an
instance
of
pretending
,
then there exist
an entity
and
a sentence
such that
the physical
has the purpose
the entity
believe
s
the sentence
and
the sentence
is
false
(=>
(
knows
?AGENT ?FORMULA)
(
truth
?FORMULA
True
))
Merge.kif 2838-2840
If
a cognitive agent
know
s
a formula
,
then
the formula
is
true
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
If the statement
a formula
has the
modal
force
of
likely
,
then the
probability
of
the formula
is
true
is
greater
than the
probability
of
the formula
is
false
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
If the statement
a formula
has the
modal
force
of
unlikely
,
then the
probability
of
the formula
is
false
is
greater
than the
probability
of
the formula
is
true
Show simplified definition (without tree view)
Show simplified 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