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
域
真相
, 1 and
Sentence
(
domain
truth
2
TruthValue
)
Merge.kif 16991-16991
域
真相
, 2 and
TruthValue
(
instance
truth
BinaryPredicate
)
Merge.kif 16989-16989
例
真相
and
BinaryPredicate
(
subrelation
truth
property
)
Merge.kif 16988-16988
子關係
真相
and
屬性
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
attribute
Object
and
功能
有目的
Object
and
Formula
真相
Formula
and
真正
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
attribute
Object
and
故障
有目的
Object
and
Formula
真相
Formula
and
假
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
False
))
UXExperimentalTerms.kif 549-556
RealNumber
是在
試驗
confidence
例
試驗
and
試驗
例
Sentence
and
Formula
患者
試驗
and
Sentence
等於
RealNumber
and 100
真相
Sentence
and
假
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 540-547
RealNumber
是在
試驗
confidence
例
試驗
and
試驗
例
Sentence
and
Formula
患者
試驗
and
Sentence
等於
RealNumber
and 100
真相
Sentence
and
真正
(=>
(
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
例
Process
and
Electrocardiography
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
attribute
AutonomousAgent
and
醫生
有目的
Process
and
知道
AutonomousAgent
and
entity
真相
attribute
Entity
and
ImpairedBodyPartFn
心
and
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
例
Process
and
Hallucination
體驗者
Process
and
AutonomousAgent
AutonomousAgent
ER
AutonomousAgent
ROP
例
AutonomousAgent
ER and
Perception
體驗者
AutonomousAgent
ER and
AutonomousAgent
原因
Process
and
AutonomousAgent
ER
包含信息
AutonomousAgent
ER and
AutonomousAgent
ROP
真相
AutonomousAgent
ROP and
假
(=>
(
and
(
instance
?INSTALL
Installing
)
(
patient
?INSTALL ?DEVICE)
(
hasPurpose
?DEVICE ?PURPOSE))
(
holdsDuring
(
EndFn
(
WhenFn
?INSTALL))
(
truth
?PURPOSE
True
)))
Mid-level-ontology.kif 17897-17902
例
Process
and
安裝
患者
Process
and
Physical
有目的
Physical
and
Formula
持有期間
結束
何時
Process
and
真相
Formula
and
真正
(=>
(
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
例
Process
and
Misdiagnosing
agent
Process
and
CognitiveAgent
參照
Process
and
Entity
例
Entity
and
Human
CognitiveAgent
IS
containsFormula
Process
and
attribute
Entity
and
CognitiveAgent
IS
例
CognitiveAgent
IS and
DiseaseOrSyndrome
相信
CognitiveAgent
and
attribute
Entity
and
CognitiveAgent
IS
真相
attribute
Entity
and
CognitiveAgent
IS and
假
(=>
(
and
(
instance
?R
Regretting
)
(
patient
?R ?T)
(
instance
?T
Sentence
))
(
truth
?T
True
))
Mid-level-ontology.kif 12977-12982
例
Process
and
後悔
患者
Process
and
Sentence
例
Sentence
and
Sentence
真相
Sentence
and
真正
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 922-929
例
Process
and
說謊
agent
Process
and
AutonomousAgent
患者
Process
and
Process
MENT
持有期間
何時
Process
and
相信
AutonomousAgent
and
真相
Process
MENT and
假
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?VALUE 0))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 577-584
試驗
的
p
-value 是
RealNumber
例
試驗
and
試驗
例
Sentence
and
Formula
患者
試驗
and
Sentence
等於
RealNumber
and 0
真相
Sentence
and
真正
(=>
(
and
(
pValue
?EXPERIMENT ?VALUE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?VALUE 1))
(
truth
?FORMULA
False
))
UXExperimentalTerms.kif 586-593
試驗
的
p
-value 是
RealNumber
例
試驗
and
試驗
例
Sentence
and
Formula
患者
試驗
and
Sentence
等於
RealNumber
and 1
真相
Sentence
and
假
(=>
(
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
持有期間
TimeInterval
and
prohibits
AutonomousAgent
and
entity
Process
entity
and
entity
例
Process
and
Stating
期間
何時
Process
and
TimeInterval
agent
Process
and
AutonomousAgent
containsFormula
Process
and
原因
agent
entity
and
entity
and
真相
entity
and
真正
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 19348-19354
持有期間
TimePosition
and
attribute
entity
and
驚喜
TimePosition
entity
時間部分
TimePosition
and
過去
TimePosition
持有期間
TimePosition
and
entity
expects
entity
會是事實
持有期間
TimePosition
and
真相
entity
and
假
(=>
(
instance
?FACT
Fact
)
(
truth
?FACT
True
))
Mid-level-ontology.kif 14246-14248
例
Sentence
and
事實
真相
Sentence
and
真正
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13027-13032
例
Physical
and
Pretending
entity
Sentence
有目的
Physical
and
相信
entity
and
Sentence
真相
Sentence
and
假
(=>
(
knows
?AGENT ?FORMULA)
(
truth
?FORMULA
True
))
Merge.kif 2838-2840
知道
CognitiveAgent
and
Formula
真相
Formula
and
真正
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
模態屬性
Formula
and
容易
比較多
可能性
真相
Formula
and
真正
and
可能性
真相
Formula
and
假
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
模態屬性
Formula
and
較不可能
比較多
可能性
真相
Formula
and
假
and
可能性
真相
Formula
and
真正
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