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
Il numero 1 argomenti di
conclusion
è un
istanza
di
Argument
(
domain
conclusion
2
Proposition
)
Merge.kif 16967-16967
Il numero 2 argomenti di
conclusion
è un
istanza
di
Proposizione
(
instance
conclusion
BinaryPredicate
)
Merge.kif 16963-16963
conclusion
è un'
istanza
di
PredicatoBinario
(
instance
conclusion
SingleValuedRelation
)
Merge.kif 16964-16964
conclusion
è un'
istanza
di
RelazioneMonovalente
(
instance
conclusion
TotalValuedRelation
)
Merge.kif 16965-16965
conclusion
è un'
istanza
di
RelazioneAValoreTotale
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
Argument
è un'
istanza
di
ValidDeductiveArgument
Formula
is
uguale
a
PremisesFn
Argument
conclusion
Formula
and
Argument
ContentBearingPhysical
ContentBearingPhysical
ContentBearingPhysical
contiene
s informazione
Formula
ContentBearingPhysical
contiene
s informazione
Formula
Formula
implica
s
Formula
consequent
(=>
(
instance
?ARGUMENT
Argument
)
(
exists
(?PREMISES ?CONCLUSION)
(
and
(
equal
(
PremisesFn
?ARGUMENT) ?PREMISES)
(
conclusion
?CONCLUSION ?ARGUMENT))))
Merge.kif 16896-16901
Argument
è un'
istanza
di
Argument
Formula
Argument
PremisesFn
Argument
is
uguale
a
Formula
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
Proposizione
è un'
istanza
di
LegalOpinion
Processo
ContentBearingPhysical
and
Argument
Processo
è un'
istanza
di
LegalDecision
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
contiene
s informazione
Argument
conclusion
Argument
and
Proposizione
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