Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
| ]
KB:
SUMO
Language:
Anisocoria
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
MechanicalAnisocoria
PhysiologicalAnisocoria
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - ChannelIslands
ChannelIslands
(Channel islands)
appearance as argument number 1
(
dependentGeopoliticalArea
ChannelIslands
UnitedKingdom
)
CountriesAndRegions.kif 3750-3750
Channel islands
is a
dependent
of
united kingdom
(
documentation
ChannelIslands
EnglishLanguage
"A dependency of the
UnitedKingdom
")
CountriesAndRegions.kif 3751-3751
Channel islands
is a
dependent
of
united kingdom
(
instance
ChannelIslands
DependencyOrSpecialSovereigntyArea
)
CountriesAndRegions.kif 3752-3752
Channel islands
is an
instance
of
dependency or special sovereignty area
appearance as argument number 2
(
located
AlderneyAirport
ChannelIslands
)
WorldAirports.kif 225-225
Alderney Airport
is
located
at
Channel islands
(
located
GuernseyAirport
ChannelIslands
)
WorldAirports.kif 9928-9928
Guernsey Airport
is
located
at
Channel islands
(
located
JerseyAirport
ChannelIslands
)
WorldAirports.kif 13700-13700
Jersey Airport
is
located
at
Channel islands
(
termFormat
EnglishLanguage
ChannelIslands
"Channel islands")
domainEnglishFormat.kif 64599-64599
Jersey Airport
is
located
at
Channel islands
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