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
truth
の数値 1 引数は
文
の
instance
では %n
(
domain
truth
2
TruthValue
)
Merge.kif 16991-16991
truth
の数値 2 引数は
真理値
の
instance
では %n
(
instance
truth
BinaryPredicate
)
Merge.kif 16989-16989
truth
は
2進述語
の
instance
では %n
(
subrelation
truth
property
)
Merge.kif 16988-16988
truth
は
property
の
subrelation
では %n
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
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
公式
is
True
%n
(=>
(
and
(
attribute
?DEVICE
Malfunctioning
)
(
hasPurpose
?DEVICE ?PROP))
(
truth
?PROP
False
))
Mid-level-ontology.kif 1854-1858
Malfunctioning
は
オブジェクト
の
attribute
では %n
オブジェクト
は
公式
の 目的 %n{ない}
公式
is
False
%n
(=>
(
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
実数
Experimenting
は
Experimenting
の
instance
では %n
文
は
公式
の
instance
では %n
文
は
Experimenting
の
patient
では %n
実数
は 100 と
equal
では %n
文
is
False
%n
(=>
(
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
実数
Experimenting
は
Experimenting
の
instance
では %n
文
は
公式
の
instance
では %n
文
は
Experimenting
の
patient
では %n
実数
は 100 と
equal
では %n
文
is
True
%n
(=>
(
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
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
MedicalDoctor
は
AutonomousAgent
の
attribute
では %n
工程
は
AutonomousAgent
は
エンティティー
ImpairedBodyPartFn
Heart
は
エンティティー
の
attribute
では %n
is
エンティティー
%n を
know
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER は
知覚
の
instance
では %n
AutonomousAgent
が
AutonomousAgent
ER を
experience
s %n{ない}
工程
は
AutonomousAgent
ER を
cause
s %n{ない}
AutonomousAgent
ER は
AutonomousAgent
ROP の情報を
contain
s %n{ない}
AutonomousAgent
ROP
is
False
%n
(=>
(
and
(
instance
?INSTALL
Installing
)
(
patient
?INSTALL ?DEVICE)
(
hasPurpose
?DEVICE ?PURPOSE))
(
holdsDuring
(
EndFn
(
WhenFn
?INSTALL))
(
truth
?PURPOSE
True
)))
Mid-level-ontology.kif 17897-17902
工程
は
Installing
の
instance
では %n
物理
は
工程
の
patient
では %n
物理
は
公式
の 目的 %n{ない}
公式
is
True
%n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
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
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
エンティティー
は
人[人間]
の
instance
では %n
認識エージェント
IS
containsFormula
工程
and
認識エージェント
IS は
エンティティー
の
attribute
では %n
認識エージェント
IS は
病気または症候群
の
instance
では %n
認識エージェント
は
認識エージェント
IS は
エンティティー
の
attribute
では %n を
believe
s %n{ない}
認識エージェント
IS は
エンティティー
の
attribute
では %n
is
False
%n
(=>
(
and
(
instance
?R
Regretting
)
(
patient
?R ?T)
(
instance
?T
Sentence
))
(
truth
?T
True
))
Mid-level-ontology.kif 12977-12982
工程
は
Regretting
の
instance
では %n
文
は
工程
の
patient
では %n
文
は
文
の
instance
では %n
文
is
True
%n
(=>
(
and
(
instance
?STATE
TellingALie
)
(
agent
?STATE ?AGENT)
(
patient
?STATE ?STATEMENT))
(
holdsDuring
(
WhenFn
?STATE)
(
believes
?AGENT
(
truth
?STATEMENT
False
))))
Mid-level-ontology.kif 922-929
工程
は
TellingALie
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
MENT は
工程
の
patient
では %n
AutonomousAgent
は
工程
MENT
is
False
%n を
believe
s %n{ない} は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
実数
Experimenting
は
Experimenting
の
instance
では %n
文
は
公式
の
instance
では %n
文
は
Experimenting
の
patient
では %n
実数
は 0 と
equal
では %n
文
is
True
%n
(=>
(
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
実数
Experimenting
は
Experimenting
の
instance
では %n
文
は
公式
の
instance
では %n
文
は
Experimenting
の
patient
では %n
実数
は 1 と
equal
では %n
文
is
False
%n
(=>
(
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
エンティティー
は
時間間隔
の
during
holds %n{ない}
工程
エンティティー
and
エンティティー
工程
は
記載
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
containsFormula
工程
and
エンティティー
は
エンティティー
の
agent
では %n は
エンティティー
is
True
%n を
cause
s %n{ない}
punishes
AutonomousAgent
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
Surprise
は
エンティティー
の
attribute
では %n は
時間位置
の
during
holds %n{ない}
時間位置
エンティティー
時間位置
は
時間位置
の
before
の
part
では %n
expects
エンティティー
and
エンティティー
は
時間位置
の
during
holds %n{ない}
エンティティー
is
False
%n は
時間位置
の
during
holds %n{ない}
(=>
(
instance
?FACT
Fact
)
(
truth
?FACT
True
))
Mid-level-ontology.kif 14246-14248
文
は
Fact
の
instance
では %n
文
is
True
%n
(=>
(
instance
?PRETEND
Pretending
)
(
exists
(?PERSON ?PROP)
(
and
(
hasPurpose
?PRETEND
(
believes
?PERSON ?PROP))
(
truth
?PROP
False
))))
Merge.kif 13027-13032
物理
は
ふり
の
instance
では %n
エンティティー
文
物理
は
エンティティー
は
文
を
believe
s %n{ない} の 目的 %n{ない}
文
is
False
%n
(=>
(
knows
?AGENT ?FORMULA)
(
truth
?FORMULA
True
))
Merge.kif 2838-2840
認識エージェント
は
公式
を
know
s %n{ない}
公式
is
True
%n
(=>
(
modalAttribute
?FORMULA
Likely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
True
))
(
ProbabilityFn
(
truth
?FORMULA
False
))))
Merge.kif 17529-17531
ステートメント
公式
には
Likely
の
modal
force
が ある
公式
is
True
%n の
probability
は
公式
is
False
%n の
probability
より
greater
では %n
(=>
(
modalAttribute
?FORMULA
Unlikely
)
(
greaterThan
(
ProbabilityFn
(
truth
?FORMULA
False
))
(
ProbabilityFn
(
truth
?FORMULA
True
))))
Merge.kif 17537-17539
ステートメント
公式
には
Unlikely
の
modal
force
が ある
公式
is
False
%n の
probability
は
公式
is
True
%n の
probability
より
greater
では %n
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