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 - InternationalLaw
InternationalLaw
appearance as argument number 1
(
documentation
InternationalLaw
EnglishLanguage
"An
Attribute
that applies to
Proposition
s that express
Law
s concerning the relations between
Nation
s.")
Mid-level-ontology.kif 11473-11474
(
externalImage
InternationalLaw
"http://upload.wikimedia.org/wikipedia/en/ b/ bd/ 425px-Naciones_Unidas_3_repaired_and.png.png")
pictureList.kif 6638-6638
(
instance
InternationalLaw
DeonticAttribute
)
Mid-level-ontology.kif 11471-11471
(
subAttribute
InternationalLaw
Law
)
Mid-level-ontology.kif 11472-11472
appearance as argument number 2
(
termFormat
ChineseLanguage
InternationalLaw
"国际法")
domainEnglishFormat.kif 30619-30619
(
termFormat
ChineseTraditionalLanguage
InternationalLaw
"國際法")
domainEnglishFormat.kif 30618-30618
(
termFormat
EnglishLanguage
InternationalLaw
"international law")
domainEnglishFormat.kif 30617-30617
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