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
premise
Sigma KEE - premise
premise
appearance as argument number 1
(
documentation
premise
ChineseLanguage
"(
premise
?ARGUMENT ?PROPOSITION)的意思是
Proposition
?PROPOSITION 是
Argument
?ARGUMENT 的一个明确假设。")
chinese_format.kif 3777-3778
(
documentation
premise
EnglishLanguage
"(
premise
?ARGUMENT ?PROPOSITION) means that the
Proposition
?PROPOSITION is an explicit assumption of the
Argument
?ARGUMENT.")
Merge.kif 16895-16897
(
domain
premise
1
Argument
)
Merge.kif 16893-16893
Le nombre 1 argument de
premise
est une
instance
de
Argument
(
domain
premise
2
Proposition
)
Merge.kif 16894-16894
Le nombre 2 argument de
premise
est une
instance
de
proposition
(
instance
premise
BinaryPredicate
)
Merge.kif 16891-16891
premise
est une
instance
de
pr�dicat binaire
(
instance
premise
TotalValuedRelation
)
Merge.kif 16892-16892
premise
est une
instance
de
relation total
appearance as argument number 2
(
format
ChineseLanguage
premise
"%2 %n 是 %1 的
premise
")
domainEnglishFormat.kif 2031-2031
(
format
ChineseTraditionalLanguage
premise
"%2 %n 是 %1 的
premise
")
domainEnglishFormat.kif 2030-2030
(
format
EnglishLanguage
premise
"%2 is %n a
premise
of %1")
domainEnglishFormat.kif 2029-2029
(
termFormat
ChineseLanguage
premise
"前提")
domainEnglishFormat.kif 47192-47192
(
termFormat
ChineseTraditionalLanguage
premise
"前提")
domainEnglishFormat.kif 47191-47191
(
termFormat
EnglishLanguage
premise
"premise")
domainEnglishFormat.kif 47190-47190
consequent
(=>
(
and
(
instance
?ARGUMENT
Argument
)
(
equal
?PREMISES
(
PremisesFn
?ARGUMENT)))
(<=>
(
subProposition
?PROPOSITION ?PREMISES)
(
premise
?ARGUMENT ?PROPOSITION)))
Merge.kif 16906-16912
Argument
est une
instance
de
Argument
proposition
est
introduction
Argument
proposition
est une
sous
-proposition de
proposition
premise
Argument
and
proposition
(=>
(
evidence
?LA ?P)
(
exists
(?A ?PROP)
(
and
(
instance
?PROP
Proposition
)
(
instance
?A
Argument
)
(
refers
?A ?LA)
(
represents
?PROP ?P)
(
premise
?A ?PROP))))
Law.kif 180-188
evidence
action l�gale
and
physique
Argument
physique
ROP
physique
ROP est une
instance
de
proposition
Argument
est une
instance
de
Argument
Argument
inclut une
r
�f�rence �
action l�gale
physique
ROP
d
�finie
physique
premise
Argument
and
physique
ROP
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