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 16790-16793
(
domain
conclusion
1
Argument
)
Merge.kif 16788-16788
The number 1 argument of
conclusion
is an
instance
of
argument
(
domain
conclusion
2
Proposition
)
Merge.kif 16789-16789
The number 2 argument of
conclusion
is an
instance
of
proposition
(
instance
conclusion
BinaryPredicate
)
Merge.kif 16785-16785
conclusion
is an
instance
of
binary predicate
(
instance
conclusion
SingleValuedRelation
)
Merge.kif 16786-16786
conclusion
is an
instance
of
single valued relation
(
instance
conclusion
TotalValuedRelation
)
Merge.kif 16787-16787
conclusion
is an
instance
of
total valued relation
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 16735-16744
If
an argument
is an
instance
of
valid deductive argument
and
a formula
is
equal
to the
premises
of argument
the argument
and the
conclusion
of argument
another formula
is
the argument
,
then there exist
a content bearing physical
and
another content bearing physical
such that
the content bearing physical
contain
s information
the formula
and
the other content bearing physical
contain
s information
the other formula
and
the formula
entail
s
the other formula
consequent
(=>
(
instance
?ARGUMENT
Argument
)
(
exists
(?PREMISES ?CONCLUSION)
(
and
(
equal
(
PremisesFn
?ARGUMENT) ?PREMISES)
(
conclusion
?CONCLUSION ?ARGUMENT))))
Merge.kif 16718-16723
If
an argument
is an
instance
of
argument
,
then there exist
a proposition
and
another argument
such that the
premises
of argument
the argument
is
equal
to
the proposition
and the
conclusion
of argument
the other argument
is
the 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 16122-16129
If
a proposition
is an
instance
of
legal opinion
,
then there exist
a process
,
a content bearing physical
and
an argument
such that
the process
is an
instance
of
legal decision
and
the content bearing physical
is a
result
of
the process
and
the content bearing physical
contain
s information
the argument
and the
conclusion
of argument
the argument
is
the 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