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 16968-16971
(
domain
conclusion
1
Argument
)
Merge.kif 16966-16966
Die Zahl 1 Argument von
conclusion
ist ein
fall
von
Argument
%n{nicht}
(
domain
conclusion
2
Proposition
)
Merge.kif 16967-16967
Die Zahl 2 Argument von
conclusion
ist ein
fall
von
Proposition
%n{nicht}
(
instance
conclusion
BinaryPredicate
)
Merge.kif 16963-16963
conclusion
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
instance
conclusion
SingleValuedRelation
)
Merge.kif 16964-16964
conclusion
ist ein
fall
von
SingleValuedRelation
%n{nicht}
(
instance
conclusion
TotalValuedRelation
)
Merge.kif 16965-16965
conclusion
ist ein
fall
von
TotalValuedRelation
%n{nicht}
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 16913-16922
Wenn
Argument
ist ein
fall
von
ValidDeductiveArgument
%n{nicht} und
Formula
ist gleich
PremisesFn
** Argument
%n{nicht} und
conclusion
** Formula
and
** Argument
,
dann es gibt
ContentBearingPhysical
und
** ContentBearingPhysical
um
** ContentBearingPhysical
enthaelt Informationen ueber
** Formula
und
** ** ContentBearingPhysical
enthaelt Informationen ueber
** ** Formula
und
** Formula
hat
** ** Formula
zur Folge %n{nicht}
consequent
(=>
(
instance
?ARGUMENT
Argument
)
(
exists
(?PREMISES ?CONCLUSION)
(
and
(
equal
(
PremisesFn
?ARGUMENT) ?PREMISES)
(
conclusion
?CONCLUSION ?ARGUMENT))))
Merge.kif 16896-16901
Wenn
Argument
ist ein
fall
von
Argument
%n{nicht},
dann es gibt
Formula
und
** Argument
um
PremisesFn
** Argument
ist gleich
** Formula
%n{nicht} und
conclusion
** ** Argument
and
** Argument
(=>
(
instance
?OPINION
LegalOpinion
)
(
exists
(?DECISION ?TEXT ?PROPOSITION)
(
and
(
instance
?DECISION
LegalDecision
)
(
result
?DECISION ?TEXT)
(
containsInformation
?TEXT ?PROPOSITION)
(
conclusion
?PROPOSITION ?OPINION))))
Mid-level-ontology.kif 16214-16221
Wenn
Proposition
ist ein
fall
von
LegalOpinion
%n{nicht},
dann es gibt
Process
,
ContentBearingPhysical
, and und
Argument
um
** Process
ist ein
fall
von
LegalDecision
%n{nicht} und
** ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
** ContentBearingPhysical
enthaelt Informationen ueber
** Argument
und
conclusion
** Argument
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