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
Il numero 1 argomenti di
truth
è un
istanza
di
Frase
(
domain
truth
2
TruthValue
)
Merge.kif 17062-17062
Il numero 2 argomenti di
truth
è un
istanza
di
ValoreDiVerit�
(
instance
truth
BinaryPredicate
)
Merge.kif 17060-17060
truth
è un'
istanza
di
PredicatoBinario
(
subrelation
truth
property
)
Merge.kif 17059-17059
truth
è una
sottorelazione
di
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 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
attribute
Oggetto
and
Functioning
Oggetto
ha
scopo
Formula
truth
Formula
and
True
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1847-1851
attribute
Oggetto
and
Malfunctioning
Oggetto
ha
scopo
Formula
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
confidenceInterval
Experimenting
and
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Frase
è un'
istanza
di
Formula
Frase
è un
paziente
di
Experimenting
NumeroReale
is
uguale
a 100
truth
Frase
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
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Frase
è un'
istanza
di
Formula
Frase
è un
paziente
di
Experimenting
NumeroReale
is
uguale
a 100
truth
Frase
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
Processo
è un'
istanza
di
Electrocardiography
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
attribute
AutonomousAgent
and
MedicalDoctor
Processo
ha
scopo
AutonomousAgent
conosce
s
Entit�
truth
attribute
Entit�
and
ImpairedBodyPartFn
Heart
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 6423-6433
Processo
è un'
istanza
di
Hallucination
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER è un'
istanza
di
Percezione
AutonomousAgent
esperisce
s
AutonomousAgent
ER
Processo
causa
s
AutonomousAgent
ER
AutonomousAgent
ER
contiene
s informazione
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 17924-17929
Processo
è un'
istanza
di
Installing
Entit�Concreta
è un
paziente
di
Processo
Entit�Concreta
ha
scopo
Formula
truth
Formula
and
True
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
Processo
è un'
istanza
di
Misdiagnosing
Processo
è un
agente
di
AgenteCognitivo
Processo
include un
riferimento
a
Entit�
Entit�
è un'
istanza
di
Umano
AgenteCognitivo
IS
containsFormula
Processo
and
attribute
Entit�
and
AgenteCognitivo
IS
AgenteCognitivo
IS è un'
istanza
di
MalattiaOSindrome
AgenteCognitivo
crede
s
attribute
Entit�
and
AgenteCognitivo
IS
truth
attribute
Entit�
and
AgenteCognitivo
IS and
False
(=>
(
and
(
instance
?R
Regretting
)
(
patient
?R ?T)
(
instance
?T
Sentence
))
(
truth
?T
True
))
Mid-level-ontology.kif 13004-13009
Processo
è un'
istanza
di
Regretting
Frase
è un
paziente
di
Processo
Frase
è un'
istanza
di
Frase
truth
Frase
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
Processo
è un'
istanza
di
TellingALie
Processo
è un
agente
di
AutonomousAgent
Processo
MENT è un
paziente
di
Processo
AutonomousAgent
crede
s
truth
Processo
MENT and
False
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
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
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Frase
è un'
istanza
di
Formula
Frase
è un
paziente
di
Experimenting
NumeroReale
is
uguale
a 0
truth
Frase
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
NumeroReale
Experimenting
è un'
istanza
di
Experimenting
Frase
è un'
istanza
di
Formula
Frase
è un
paziente
di
Experimenting
NumeroReale
is
uguale
a 1
truth
Frase
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�
vales
durante
IntervalloTemporale
Processo
Entit�
and
Entit�
Processo
è un'
istanza
di
Affermare
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
è un
agente
di
AutonomousAgent
containsFormula
Processo
and
Entit�
è un
agente
di
Entit�
causa
s
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 19375-19381
attribute
Entit�
and
Surprise
vales
durante
PosizioneTemporale
PosizioneTemporale
Entit�
PosizioneTemporale
è una
parte
di
prima
PosizioneTemporale
expects
Entit�
and
Entit�
vales
durante
PosizioneTemporale
truth
Entit�
and
False
vales
durante
PosizioneTemporale
(=>
(
instance
?FACT
Fact
)
(
truth
?FACT
True
))
Mid-level-ontology.kif 14273-14275
Frase
è un'
istanza
di
Fact
truth
Frase
and
True
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13073-13078
Entit�Concreta
è un'
istanza
di
Fingere
Entit�
Frase
Entit�Concreta
ha
scopo
Entit�
crede
s
Frase
truth
Frase
and
False
(=>
(
knows
?AGENT ?FORMULA)
(
truth
?FORMULA
True
))
Merge.kif 2839-2841
AgenteCognitivo
conosce
s
Formula
truth
Formula
and
True
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17600-17606
L'affermazione
Formula
ha il modello di forza di
Likely
la
probabilit
à di
truth
Formula
and
True
è
pi
ù grande di la
probabilit
à di
truth
Formula
and
False
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17612-17618
L'affermazione
Formula
ha il modello di forza di
Unlikely
la
probabilit
à di
truth
Formula
and
False
è
pi
ù grande di la
probabilit
à di
truth
Formula
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