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
O argumento numero 1 de
truth
e' uma
instancia
de
Frase
(
domain
truth
2
TruthValue
)
Merge.kif 16991-16991
O argumento numero 2 de
truth
e' uma
instancia
de
Valor Verdade
(
instance
truth
BinaryPredicate
)
Merge.kif 16989-16989
truth
e' uma
instancia
de
Predicado Binario
(
subrelation
truth
property
)
Merge.kif 16988-16988
truth
e' uma
sub
-relacao 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
e' um
atributo
de
Objeto
Objeto
tem por
fim
Formula
truth
Formula
and
True
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
Malfunctioning
e' um
atributo
de
Objeto
Objeto
tem por
fim
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
Numero Real
Experimenting
e' uma
instancia
de
Experimenting
Frase
e' uma
instancia
de
Formula
Frase
e' um
patient
de
Experimenting
Numero Real
e'
igual
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
Numero Real
Experimenting
e' uma
instancia
de
Experimenting
Frase
e' uma
instancia
de
Formula
Frase
e' um
patient
de
Experimenting
Numero Real
e'
igual
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
e' uma
instancia
de
Electrocardiography
Entidade
e' um
patient
de
Processo
Processo
e' um
agente
de
AutonomousAgent
MedicalDoctor
e' um
atributo
de
AutonomousAgent
Processo
tem por
fim
AutonomousAgent
sabe
Entidade
truth
ImpairedBodyPartFn
Heart
e' um
atributo
de
Entidade
and
Entidade
(=>
(
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
Processo
e' uma
instancia
de
Hallucination
AutonomousAgent
experimenta
Processo
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER e' uma
instancia
de
Percepcao
AutonomousAgent
experimenta
AutonomousAgent
ER
Processo
causa
AutonomousAgent
ER
AutonomousAgent
ER
contem
informacao
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
Processo
e' uma
instancia
de
Installing
Fisico
e' um
patient
de
Processo
Fisico
tem por
fim
Formula
truth
Formula
and
True
vale
durante o
fim
de
tempo
de existencia de
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
e' uma
instancia
de
Misdiagnosing
Processo
e' um
agente
de
Agente Cognitivo
Processo
inclui uma
referencia
a
Entidade
Entidade
e' uma
instancia
de
Humano
Agente Cognitivo
IS
containsFormula
Processo
and
Agente Cognitivo
IS e' um
atributo
de
Entidade
Agente Cognitivo
IS e' uma
instancia
de
Doenca ou Sindrome
Agente Cognitivo
acredita
que
Agente Cognitivo
IS e' um
atributo
de
Entidade
truth
Agente Cognitivo
IS e' um
atributo
de
Entidade
and
False
(=>
(
and
(
instance
?R
Regretting
)
(
patient
?R ?T)
(
instance
?T
Sentence
))
(
truth
?T
True
))
Mid-level-ontology.kif 12977-12982
Processo
e' uma
instancia
de
Regretting
Frase
e' um
patient
de
Processo
Frase
e' uma
instancia
de
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 922-929
Processo
e' uma
instancia
de
TellingALie
Processo
e' um
agente
de
AutonomousAgent
Processo
MENT e' um
patient
de
Processo
AutonomousAgent
acredita
que
truth
Processo
MENT and
False
vale
durante
tempo
de existencia de
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
Numero Real
Experimenting
e' uma
instancia
de
Experimenting
Frase
e' uma
instancia
de
Formula
Frase
e' um
patient
de
Experimenting
Numero Real
e'
igual
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
Numero Real
Experimenting
e' uma
instancia
de
Experimenting
Frase
e' uma
instancia
de
Formula
Frase
e' um
patient
de
Experimenting
Numero Real
e'
igual
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
Entidade
vale
durante
Intervalo Temporal
Processo
Entidade
and
Entidade
Processo
e' uma
instancia
de
Declarar
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Processo
e' um
agente
de
AutonomousAgent
containsFormula
Processo
and
Entidade
e' um
agente
de
Entidade
causa
truth
Entidade
and
True
punishes
AutonomousAgent
and
Entidade
(=>
(
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
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Posicao Temporal
Entidade
Posicao Temporal
e' uma &parte de
antes
de
Posicao Temporal
expects
Entidade
and
Entidade
vale
durante
Posicao Temporal
truth
Entidade
and
False
vale
durante
Posicao Temporal
(=>
(
instance
?FACT
Fact
)
(
truth
?FACT
True
))
Mid-level-ontology.kif 14246-14248
Frase
e' uma
instancia
de
Fact
truth
Frase
and
True
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13027-13032
Fisico
e' uma
instancia
de
Fingir
Entidade
Frase
Fisico
tem por
fim
Entidade
acredita
que
Frase
truth
Frase
and
False
(=>
(
knows
?AGENT ?FORMULA)
(
truth
?FORMULA
True
))
Merge.kif 2838-2840
Agente Cognitivo
sabe
Formula
truth
Formula
and
True
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
O argumento
Formula
tem a
forca
modal
de
Likely
a
probabilidade
de
truth
Formula
and
True
e'
maior
que a
probabilidade
de
truth
Formula
and
False
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
O argumento
Formula
tem a
forca
modal
de
Unlikely
a
probabilidade
de
truth
Formula
and
False
e'
maior
que a
probabilidade
de
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