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 17014-17015
(
domain
truth
1
Sentence
)
Merge.kif 17012-17012
真值
的 1 数量 是
句子
的
instance
(
domain
truth
2
TruthValue
)
Merge.kif 17013-17013
真值
的 2 数量 是
真值
的
instance
(
instance
truth
BinaryPredicate
)
Merge.kif 17011-17011
真值
是
二元谓语
的
instance
(
subrelation
truth
property
)
Merge.kif 17010-17010
真值
是
特性
的
subrelation
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
和
那个 客体
的 目的 是
公式
,
然后
那个 公式
是
真正
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
如果
故障
是
客体
的
attribute
和
那个 客体
的 目的 是
公式
,
然后
那个 公式
是
假
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
False
))
UXExperimentalTerms.kif 549-556
如果
实数
是在
试验
confidence
和
那个 试验
是
试验
的
instance
和
句子
是
公式
的
instance
和
那个 句子
是
那个 试验
的
patient
和
那个 实数
equal
100,
然后
那个 句子
是
假
(=>
(
and
(
confidenceInterval
?EXPERIMENT ?CONFIDENCE)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?FORMULA
Formula
)
(
patient
?EXPERIMENT ?FORMULA)
(
equal
?CONFIDENCE 100))
(
truth
?FORMULA
True
))
UXExperimentalTerms.kif 540-547
如果
实数
是在
试验
confidence
和
那个 试验
是
试验
的
instance
和
句子
是
公式
的
instance
和
那个 句子
是
那个 试验
的
patient
和
那个 实数
equal
100,
然后
那个 句子
是
真正
(=>
(
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
如果
过程
是
Electrocardiography
的
instance
和
实体
是
那个 过程
的
patient
和
施事体
是
那个 过程
的
agent
和
医生
是
那个 施事体
的
attribute
,
然后
那个 过程
的 目的 是
那个 施事体
knows
有存在
另一个 实体
这样
ImpairedBodyPartFn
心
是
那个 实体
的
attribute
是
那个 另外 实体
(=>
(
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 6428-6438
如果
过程
是
Hallucination
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
那个 施事体
ER 和
那个 施事体
ROP 这样
那个 施事体
ER 是
感知
的
instance
和
那个 施事体
经历了
那个 施事体
ER 和
那个 过程
causes
那个 施事体
ER 和
那个 施事体
ER
contains
那个 施事体
ROP 的资料 和
那个 施事体
ROP 是
假
(=>
(
and
(
instance
?INSTALL
Installing
)
(
patient
?INSTALL ?DEVICE)
(
hasPurpose
?DEVICE ?PURPOSE))
(
holdsDuring
(
EndFn
(
WhenFn
?INSTALL))
(
truth
?PURPOSE
True
)))
Mid-level-ontology.kif 17896-17901
如果
过程
是
安装
的
instance
和
物理
是
那个 过程
的
patient
和
那个 物理
的 目的 是
公式
,
然后
那个 公式
是
真正
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
如果
过程
是
Misdiagnosing
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
那个 过程
提到
实体
和
那个 实体
是
人类
的
instance
,
然后 有存在
那个 有认知的主事
IS 这样
containsFormula
那个 过程
and
那个 有认知的主事
IS 是
那个 实体
的
attribute
和
那个 有认知的主事
IS 是
疾病或综合症
的
instance
和
那个 有认知的主事
believes
那个 有认知的主事
IS 是
那个 实体
的
attribute
和
那个 有认知的主事
IS 是
那个 实体
的
attribute
是
假
(=>
(
and
(
instance
?R
Regretting
)
(
patient
?R ?T)
(
instance
?T
Sentence
))
(
truth
?T
True
))
Mid-level-ontology.kif 12976-12981
如果
过程
是
后悔
的
instance
和
句子
是
那个 过程
的
patient
和
那个 句子
是
句子
的
instance
,
然后
那个 句子
是
真正
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 922-929
如果
过程
是
说谎
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 过程
MENT 是
那个 过程
的
patient
,
然后
那个 施事体
believes
那个 过程
MENT 是
假
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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 是
实数
和
那个 试验
是
试验
的
instance
和
句子
是
公式
的
instance
和
那个 句子
是
那个 试验
的
patient
和
那个 实数
equal
0,
然后
那个 句子
是
真正
(=>
(
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 是
实数
和
那个 试验
是
试验
的
instance
和
句子
是
公式
的
instance
和
那个 句子
是
那个 试验
的
patient
和
那个 实数
equal
1,
然后
那个 句子
是
假
(=>
(
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
施事体
and
实体
在
时距
holdsDuring
,
然后 有存在
过程
,
另一个 实体
, and 和
第三 实体
这样
那个 过程
是
陈述
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 施事体
是
那个 过程
的
agent
和
containsFormula
那个 过程
and
如果
那个 另外 实体
是
那个 第三 实体
的
agent
causes
那个 实体
是
真正
,
然后
punishes
那个 施事体
and
那个 另外 实体
(=>
(
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 19347-19353
如果
惊喜
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 时间位置
和
另一个 实体
这样
那个 另外 时间位置
时段 是
那个 时间位置
before
时段 的一
part
和
那个 实体
expects
那个 另外 实体
会是事实 在
那个 另外 时间位置
holdsDuring
和
那个 另外 实体
是
假
在
那个 时间位置
holdsDuring
(=>
(
instance
?FACT
Fact
)
(
truth
?FACT
True
))
Mid-level-ontology.kif 14245-14247
如果
句子
是
事实
的
instance
,
然后
那个 句子
是
真正
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13049-13054
如果
物理
是
假装
的
instance
,
然后 有存在
实体
和
句子
这样
那个 物理
的 目的 是
那个 实体
believes
那个 句子
和
那个 句子
是
假
(=>
(
knows
?AGENT ?FORMULA)
(
truth
?FORMULA
True
))
Merge.kif 2838-2840
如果
有认知的主事
knows
公式
,
然后
那个 公式
是
真正
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17551-17553
如果
公式
的声明 has
容易
的语气,
然后
那个 公式
是
真正
的机率 是
greaterThan
那个 公式
是
假
的机率
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17559-17561
如果
公式
的声明 has
较不可能
的语气,
然后
那个 公式
是
假
的机率 是
greaterThan
那个 公式
是
真正
的机率
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