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
Le nombre 1 argument de
truth
est une
instance
de
phrase
(
domain
truth
2
TruthValue
)
Merge.kif 16991-16991
Le nombre 2 argument de
truth
est une
instance
de
vrai
(
instance
truth
BinaryPredicate
)
Merge.kif 16989-16989
truth
est une
instance
de
pr�dicat binaire
(
subrelation
truth
property
)
Merge.kif 16988-16988
truth
est une
sous
-relation de
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
Functioning
est un
attribut
de
objet
objet
a pour
but
formule
truth
formule
and
True
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
Malfunctioning
est un
attribut
de
objet
objet
a pour
but
formule
truth
formule
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
confidenceInterval
Experimenting
and
nombre r�el
Experimenting
est une
instance
de
Experimenting
phrase
est une
instance
de
formule
phrase
est un
patient
de
Experimenting
nombre r�el
est
truth
phrase
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
confidenceInterval
Experimenting
and
nombre r�el
Experimenting
est une
instance
de
Experimenting
phrase
est une
instance
de
formule
phrase
est un
patient
de
Experimenting
nombre r�el
est
truth
phrase
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
Processus
est une
instance
de
Electrocardiography
entit�
est un
patient
de
processus
processus
est un
agent
de
AutonomousAgent
MedicalDoctor
est un
attribut
de
AutonomousAgent
processus
a pour
but
AutonomousAgent
conna
�t
entit�
truth
ImpairedBodyPartFn
Heart
est un
attribut
de
entit�
and
entit�
(=>
(
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
Processus
est une
instance
de
Hallucination
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER est une
instance
de
perception
AutonomousAgent
exp
�rimente
AutonomousAgent
ER
processus
cause
AutonomousAgent
ER
AutonomousAgent
ER
contient
information
AutonomousAgent
ROP
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 17897-17902
Processus
est une
instance
de
Installing
physique
est un
patient
de
processus
physique
a pour
but
formule
truth
formule
and
True
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Misdiagnosing
processus
est un
agent
de
agent cognitif
processus
inclut une
r
�f�rence �
entit�
entit�
est une
instance
de
humain
agent cognitif
IS
containsFormula
processus
and
agent cognitif
IS est un
attribut
de
entit�
agent cognitif
IS est une
instance
de
maladie ou syndrome
agent cognitif
croit
agent cognitif
IS est un
attribut
de
entit�
truth
agent cognitif
IS est un
attribut
de
entit�
and
False
(=>
(
and
(
instance
?R
Regretting
)
(
patient
?R ?T)
(
instance
?T
Sentence
))
(
truth
?T
True
))
Mid-level-ontology.kif 12977-12982
Processus
est une
instance
de
Regretting
phrase
est un
patient
de
processus
phrase
est une
instance
de
phrase
truth
phrase
and
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
Processus
est une
instance
de
TellingALie
processus
est un
agent
de
AutonomousAgent
processus
MENT est un
patient
de
processus
AutonomousAgent
croit
truth
processus
MENT and
False
pendant
temps
d'existence de
processus
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?VALUE 0))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 577-584
pValue
Experimenting
and
nombre r�el
Experimenting
est une
instance
de
Experimenting
phrase
est une
instance
de
formule
phrase
est un
patient
de
Experimenting
nombre r�el
est
truth
phrase
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
pValue
Experimenting
and
nombre r�el
Experimenting
est une
instance
de
Experimenting
phrase
est une
instance
de
formule
phrase
est un
patient
de
Experimenting
nombre r�el
est
truth
phrase
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
prohibits
AutonomousAgent
and
entit�
pendant
interval temporel
processus
entit�
and
entit�
processus
est une
instance
de
d�clarer
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
est un
agent
de
AutonomousAgent
containsFormula
processus
and
entit�
est un
agent
de
entit�
cause
truth
entit�
and
True
punishes
AutonomousAgent
and
entit�
(=>
(
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
Surprise
est un
attribut
de
entit�
pendant
position temporel
position temporel
entit�
position temporel
est une
partie
de
avant
position temporel
expects
entit�
and
entit�
pendant
position temporel
truth
entit�
and
False
pendant
position temporel
(=>
(
instance
?FACT
Fact
)
(
truth
?FACT
True
))
Mid-level-ontology.kif 14246-14248
Phrase
est une
instance
de
Fact
truth
phrase
and
True
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13027-13032
Physique
est une
instance
de
pr�tendre
entit�
phrase
physique
a pour
but
entit�
croit
phrase
truth
phrase
and
False
(=>
(
knows
?AGENT ?FORMULA)
(
truth
?FORMULA
True
))
Merge.kif 2838-2840
Agent cognitif
conna
�t
formule
truth
formule
and
True
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
L'argument
formule
a la
force
modale
de
Likely
le
probabilit
� de
truth
formule
and
True
est
plus
grand
que le
probabilit
� de
truth
formule
and
False
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
L'argument
formule
a la
force
modale
de
Unlikely
le
probabilit
� de
truth
formule
and
False
est
plus
grand
que le
probabilit
� de
truth
formule
and
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