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
conclusion
Sigma KEE - conclusion
conclusion
appearance as argument number 1
(
documentation
conclusion
ChineseLanguage
"(
conclusion
?ARGUMENT ?PROPOSITION)的意思是
Proposition
?PROPOSITION 是由
Argument
?ARGUMENT 所得出明确的结论。注:有可能是但也有可能不是 由 ?ARGUMENT
entails
?PROPOSITION。 ")
chinese_format.kif 3781-3783
(
documentation
conclusion
EnglishLanguage
"(
conclusion
?ARGUMENT ?PROPOSITION) means that the
Proposition
?PROPOSITION is the conclusion explicitly drawn from the
Argument
?ARGUMENT. Note that it may or may not be the case that ?ARGUMENT
entails
?PROPOSITION.")
Merge.kif 16919-16922
(
domain
conclusion
1
Argument
)
Merge.kif 16917-16917
域
結論
, 1 and
爭論
(
domain
conclusion
2
Proposition
)
Merge.kif 16918-16918
域
結論
, 2 and
Proposition
(
instance
conclusion
BinaryPredicate
)
Merge.kif 16914-16914
例
結論
and
BinaryPredicate
(
instance
conclusion
SingleValuedRelation
)
Merge.kif 16915-16915
例
結論
and
SingleValuedRelation
(
instance
conclusion
TotalValuedRelation
)
Merge.kif 16916-16916
例
結論
and
TotalValuedRelation
appearance as argument number 2
(
format
ChineseLanguage
conclusion
"%1
Argument
的
conclusion
%n 是 %2")
chinese_format.kif 786-786
(
format
EnglishLanguage
conclusion
"the
conclusion
of argument %1 is %n %2")
english_format.kif 787-787
(
format
FrenchLanguage
conclusion
"l'argument de
conclusion
%1 est %n %2")
french_format.kif 474-474
(
format
JapaneseLanguage
conclusion
"引数 %1 の 結論は %2 です")
english_format.kif 788-788
(
format
PortugueseLanguage
conclusion
"o argumento da conclusao %1 e' %n %2")
portuguese_format.kif 426-426
(
format
ro
conclusion
"
conclusion
%t{concluzia} argumentului %1 %n{nu} este %2")
relations-ro.kif 496-496
(
termFormat
ChineseLanguage
conclusion
"结论")
chinese_format.kif 787-787
(
termFormat
ChineseTraditionalLanguage
conclusion
"結論")
domainEnglishFormat.kif 16469-16469
(
termFormat
EnglishLanguage
conclusion
"conclusion")
domainEnglishFormat.kif 16468-16468
antecedent
(=>
(
and
(
instance
?ARGUMENT
ValidDeductiveArgument
)
(
equal
?PREMISES
(
PremisesFn
?ARGUMENT))
(
conclusion
?CONCLUSION ?ARGUMENT))
(
exists
(?FORMULA1 ?FORMULA2)
(
and
(
containsInformation
?FORMULA1 ?PREMISES)
(
containsInformation
?FORMULA2 ?CONCLUSION)
(
entails
?PREMISES ?CONCLUSION))))
Merge.kif 16864-16873
例
爭論
and
有效的演繹論證
等於
Formula
and
房地
爭論
結論
Formula
and
爭論
內容承載物理
內容承載物理
包含信息
內容承載物理
and
Formula
包含信息
內容承載物理
and
Formula
意味
Formula
and
Formula
consequent
(=>
(
instance
?ARGUMENT
Argument
)
(
exists
(?PREMISES ?CONCLUSION)
(
and
(
equal
(
PremisesFn
?ARGUMENT) ?PREMISES)
(
conclusion
?CONCLUSION ?ARGUMENT))))
Merge.kif 16847-16852
例
爭論
and
爭論
Proposition
爭論
等於
房地
爭論
and
Proposition
結論
爭論
and
爭論
(=>
(
instance
?OPINION
LegalOpinion
)
(
exists
(?DECISION ?TEXT ?PROPOSITION)
(
and
(
instance
?DECISION
LegalDecision
)
(
result
?DECISION ?TEXT)
(
containsInformation
?TEXT ?PROPOSITION)
(
conclusion
?PROPOSITION ?OPINION))))
Mid-level-ontology.kif 16186-16193
例
Proposition
and
法律意見
Process
內容承載物理
and
爭論
例
Process
and
法律決定
結果
Process
and
內容承載物理
包含信息
內容承載物理
and
爭論
結論
爭論
and
Proposition
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