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 数量 是
句子
的
instance
(
domain
truth
2
TruthValue
)
Merge.kif 16991-16991
真值
的 2 数量 是
真值
的
instance
(
instance
truth
BinaryPredicate
)
Merge.kif 16989-16989
真值
是
二元谓语
的
instance
(
subrelation
truth
property
)
Merge.kif 16988-16988
真值
是
特性
的
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 6429-6439
如果
过程
是
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 17897-17902
如果
过程
是
安装
的
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 12977-12982
如果
过程
是
后悔
的
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 19348-19354
如果
惊喜
是
实体
的
attribute
在
时间位置
holdsDuring
,
然后 有存在
另一个 时间位置
和
另一个 实体
这样
那个 另外 时间位置
时段 是
那个 时间位置
before
时段 的一
part
和
那个 实体
expects
那个 另外 实体
会是事实 在
那个 另外 时间位置
holdsDuring
和
那个 另外 实体
是
假
在
那个 时间位置
holdsDuring
(=>
(
instance
?FACT
Fact
)
(
truth
?FACT
True
))
Mid-level-ontology.kif 14246-14248
如果
句子
是
事实
的
instance
,
然后
那个 句子
是
真正
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13027-13032
如果
物理
是
假装
的
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 17529-17531
如果
公式
的声明 has
容易
的语气,
然后
那个 公式
是
真正
的机率 是
greaterThan
那个 公式
是
假
的机率
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
如果
公式
的声明 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