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 17063-17064
(
domain
truth
1
Sentence
)
Merge.kif 17061-17061
Die Zahl 1 Argument von
truth
ist ein
fall
von
Sentence
%n{nicht}
(
domain
truth
2
TruthValue
)
Merge.kif 17062-17062
Die Zahl 2 Argument von
truth
ist ein
fall
von
TruthValue
%n{nicht}
(
instance
truth
BinaryPredicate
)
Merge.kif 17060-17060
truth
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
truth
property
)
Merge.kif 17059-17059
truth
ist eine
teilrelation
von
eigenschaft
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 59362-59362
(
termFormat
ChineseTraditionalLanguage
truth
"真相")
domainEnglishFormat.kif 59361-59361
(
termFormat
EnglishLanguage
truth
"truth")
domainEnglishFormat.kif 59360-59360
consequent
(=>
(
and
(
attribute
?DEVICE
Functioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
True
))
Mid-level-ontology.kif 1837-1841
Wenn
Functioning
ist ein
attribut
von
Object
%n{nicht} und
** Object
hat Zweck von
Formula
%n{nicht},
dann
truth
** Formula
and
True
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1847-1851
Wenn
Malfunctioning
ist ein
attribut
von
Object
%n{nicht} und
** Object
hat Zweck von
Formula
%n{nicht},
dann
truth
** Formula
and
False
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
False
))
UXExperimentalTerms.kif 549-556
Wenn
confidenceInterval
Experimenting
and
RealNumber
und
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Sentence
ist ein
fall
von
Formula
%n{nicht} und
** Sentence
ist ein
patient
von
** Experimenting
%n{nicht} und
** RealNumber
ist gleich 100 %n{nicht},
dann
truth
** Sentence
and
False
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 540-547
Wenn
confidenceInterval
Experimenting
and
RealNumber
und
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Sentence
ist ein
fall
von
Formula
%n{nicht} und
** Sentence
ist ein
patient
von
** Experimenting
%n{nicht} und
** RealNumber
ist gleich 100 %n{nicht},
dann
truth
** Sentence
and
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
Wenn
Process
ist ein
fall
von
Electrocardiography
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
MedicalDoctor
ist ein
attribut
von
** AutonomousAgent
%n{nicht},
dann
** Process
hat Zweck von
** AutonomousAgent
kennt
es gibt
** entity
um
truth
ImpairedBodyPartFn
Heart
ist ein
attribut
von
** Entity
%n{nicht} and
** ** entity
%n{nicht} %n{nicht}
(=>
(
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 6423-6433
Wenn
Process
ist ein
fall
von
Hallucination
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
** AutonomousAgent
ER und
** AutonomousAgent
ROP um
** AutonomousAgent
ER ist ein
fall
von
Perception
%n{nicht} und
** AutonomousAgent
erfaehrt
** AutonomousAgent
ER %n{nicht} und
** Process
verursacht
** AutonomousAgent
ER %n{nicht} und
** AutonomousAgent
ER enthaelt Informationen ueber
** AutonomousAgent
ROP und
truth
** AutonomousAgent
ROP and
False
(=>
(
and
(
instance
?INSTALL
Installing
)
(
patient
?INSTALL ?DEVICE)
(
hasPurpose
?DEVICE ?PURPOSE))
(
holdsDuring
(
EndFn
(
WhenFn
?INSTALL))
(
truth
?PURPOSE
True
)))
Mid-level-ontology.kif 17924-17929
Wenn
Process
ist ein
fall
von
Installing
%n{nicht} und
Physical
ist ein
patient
von
** Process
%n{nicht} und
** Physical
hat Zweck von
Formula
%n{nicht},
dann
truth
** Formula
and
True
haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Misdiagnosing
%n{nicht} und
** Process
ist der
agent
von
CognitiveAgent
%n{nicht} und
** Process
umfasst einen
hinweis
auf
Entity
und
** Entity
ist ein
fall
von
Human
%n{nicht},
dann es gibt
** CognitiveAgent
IS um
containsFormula
** Process
and
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} und
** CognitiveAgent
IS ist ein
fall
von
DiseaseOrSyndrome
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} und
truth
** CognitiveAgent
IS ist ein
attribut
von
** Entity
%n{nicht} and
False
(=>
(
and
(
instance
?R
Regretting
)
(
patient
?R ?T)
(
instance
?T
Sentence
))
(
truth
?T
True
))
Mid-level-ontology.kif 13004-13009
Wenn
Process
ist ein
fall
von
Regretting
%n{nicht} und
Sentence
ist ein
patient
von
** Process
%n{nicht} und
** Sentence
ist ein
fall
von
Sentence
%n{nicht},
dann
truth
** Sentence
and
True
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 915-922
Wenn
Process
ist ein
fall
von
TellingALie
%n{nicht} und
** Process
ist der
agent
von
AutonomousAgent
%n{nicht} und
** Process
MENT ist ein
patient
von
** Process
%n{nicht},
dann
** AutonomousAgent
glaubt %n{nicht}, dass
truth
** Process
MENT and
False
haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?VALUE 0))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 577-584
Wenn
pValue
Experimenting
and
RealNumber
und
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Sentence
ist ein
fall
von
Formula
%n{nicht} und
** Sentence
ist ein
patient
von
** Experimenting
%n{nicht} und
** RealNumber
ist gleich 0 %n{nicht},
dann
truth
** Sentence
and
True
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?VALUE 1))
(
truth
?FORMULA
False
))
UXExperimentalTerms.kif 586-593
Wenn
pValue
Experimenting
and
RealNumber
und
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Sentence
ist ein
fall
von
Formula
%n{nicht} und
** Sentence
ist ein
patient
von
** Experimenting
%n{nicht} und
** RealNumber
ist gleich 1 %n{nicht},
dann
truth
** Sentence
and
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
Wenn
prohibits
AutonomousAgent
and
entity
haelt
waehrend
TimeInterval
%n{nicht},
dann es gibt
Process
,
** entity
, and und
** entity
um
** Process
ist ein
fall
von
Stating
%n{nicht} und die
zeit
des Bestehens von
** Process
geschieht
waehrend
** TimeInterval
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
containsFormula
** Process
and
wenn
** ** entity
ist der
agent
von
** ** entity
%n{nicht} verursacht
truth
** entity
and
True
%n{nicht},
dann
punishes
** AutonomousAgent
and
** ** 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 19375-19381
Wenn
Surprise
ist ein
attribut
von
entity
%n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann es gibt
** TimePosition
und
** entity
um
** ** TimePosition
ist ein
teil
von
vor
** TimePosition
%n{nicht} und
expects
** entity
and
** ** entity
haelt
waehrend
** ** TimePosition
%n{nicht} und
truth
** ** entity
and
False
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
instance
?FACT
Fact
)
(
truth
?FACT
True
))
Mid-level-ontology.kif 14273-14275
Wenn
Sentence
ist ein
fall
von
Fact
%n{nicht},
dann
truth
** Sentence
and
True
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13073-13078
Wenn
Physical
ist ein
fall
von
Pretending
%n{nicht},
dann es gibt
entity
und
Sentence
um
** Physical
hat Zweck von
** entity
glaubt %n{nicht}, dass
** Sentence
%n{nicht} und
truth
** Sentence
and
False
(=>
(
knows
?AGENT ?FORMULA)
(
truth
?FORMULA
True
))
Merge.kif 2839-2841
Wenn
CognitiveAgent
kennt
Formula
%n{nicht},
dann
truth
** Formula
and
True
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17600-17606
Wenn die Aussage
Formula
hat die modale Kraft von
Likely
,
dann die
wahrscheinlichkeit
von
truth
** Formula
and
True
ist
groesserAls
die
wahrscheinlichkeit
von
truth
** Formula
and
False
%n{nicht}
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17612-17618
Wenn die Aussage
Formula
hat die modale Kraft von
Unlikely
,
dann die
wahrscheinlichkeit
von
truth
** Formula
and
False
ist
groesserAls
die
wahrscheinlichkeit
von
truth
** Formula
and
True
%n{nicht}
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