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
SSHWS1
SSHWS2
SSHWS3
SSHWS4
SSHWS5
SSHWSAttribute
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - ColdBloodedVertebrate
ColdBloodedVertebrate
appearance as argument number 1
(
disjointDecomposition
ColdBloodedVertebrate
Amphibian
Fish
Reptile
)
Merge.kif 13535-13535
disjointDecomposition
ColdBloodedVertebrate
,
Amphibian
,
Fish
and
Reptile
(
documentation
ColdBloodedVertebrate
ChineseLanguage
"这是一种体温不由内部监管的
Vertebrate
。")
chinese_format.kif 3412-3412
(
documentation
ColdBloodedVertebrate
EnglishLanguage
"
Vertebrate
s whose body temperature is not internally regulated.")
Merge.kif 13536-13537
(
subclass
ColdBloodedVertebrate
Vertebrate
)
Merge.kif 13534-13534
subclass
ColdBloodedVertebrate
and
Vertebrate
appearance as argument number 2
(
disjoint
WarmBloodedVertebrate
ColdBloodedVertebrate
)
Merge.kif 13540-13540
disjoint
WarmBloodedVertebrate
and
ColdBloodedVertebrate
(
subclass
Amphibian
ColdBloodedVertebrate
)
Merge.kif 13544-13544
subclass
Amphibian
and
ColdBloodedVertebrate
(
subclass
Fish
ColdBloodedVertebrate
)
Merge.kif 13554-13554
subclass
Fish
and
ColdBloodedVertebrate
(
subclass
Reptile
ColdBloodedVertebrate
)
Merge.kif 13651-13651
subclass
Reptile
and
ColdBloodedVertebrate
(
termFormat
ChineseLanguage
ColdBloodedVertebrate
"冷血脊椎动物")
chinese_format.kif 985-985
(
termFormat
EnglishLanguage
ColdBloodedVertebrate
"cold blooded vertebrate")
english_format.kif 1182-1182
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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