Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Supposing
Sigma KEE - Supposing
Supposing
appearance as argument number 1
(
documentation
Supposing
ChineseLanguage
"这个
Class
的实例在一个辩论上假设命题属真。例如:约翰 考虑如果他中彩票后他会做些什么。")
chinese_format.kif 3263-3264
(
documentation
Supposing
EnglishLanguage
"Instances of this
Class
suppose, for the sake of argument, that a proposition is true. For example, John considered what he would do if he won the lottery.")
Merge.kif 12255-12257
(
subclass
Supposing
LinguisticCommunication
)
Merge.kif 12254-12254
appearance as argument number 2
(
termFormat
ChineseLanguage
Supposing
"假如")
domainEnglishFormat.kif 56247-56247
(
termFormat
ChineseTraditionalLanguage
Supposing
"假如")
domainEnglishFormat.kif 56246-56246
(
termFormat
EnglishLanguage
Supposing
"supposing")
domainEnglishFormat.kif 56245-56245
appearance as argument number 3
(
partition
Communication
Stating
Supposing
Directing
Committing
Expressing
Declaring
)
Merge.kif 12118-12118
antecedent
(=>
(
and
(
instance
?SUPPOSE
Supposing
)
(
result
?SUPPOSE ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
instance
?SENTENCE
Supposition
))
Mid-level-ontology.kif 11915-11920
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