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
dependentGeopoliticalArea
Sigma KEE - dependentGeopoliticalArea
dependentGeopoliticalArea
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Government.kif 462-467
No TPTP formula. May not be expressible in strict first order.
Government.kif 459-459
The number 1 argument of
dependent geopolitical area
is an
instance
of
geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 460-460
The number 2 argument of
dependent geopolitical area
is an
instance
of
geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 456-456
dependent geopolitical area
is an
instance
of
asymmetric relation
No TPTP formula. May not be expressible in strict first order.
Government.kif 457-457
dependent geopolitical area
is an
instance
of
transitive relation
No TPTP formula. May not be expressible in strict first order.
Government.kif 458-458
dependent geopolitical area
is
internally
related to
primary geopolitical subdivision
No TPTP formula. May not be expressible in strict first order.
Geography.kif 966-966
dependent geopolitical area
is a
subrelation
of
claimed territory
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3230-3230
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3229-3229
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 3228-3228
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19128-19128
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19127-19127
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 19126-19126
antecedent
No TPTP formula. May not be expressible in strict first order.
Government.kif 477-480
If
a geopolitical area
is a
dependent
of
another geopolitical area
,
then
the geopolitical area
is not a
geopolitical
part of
the other geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 469-471
If
a geopolitical area
is a
dependent
of
another geopolitical area
,
then
the other geopolitical area
possess
es
the geopolitical area
consequent
No TPTP formula. May not be expressible in strict first order.
Government.kif 546-553
If
a kind of time interval
is an
independence
date of
a geopolitical area
and
a time position
is an
instance
of
a kind of time interval
,
then there doesn't exist
an entity
such that
the geopolitical area
is a
dependent
of
the entity
holds
during
after
the time position
No TPTP formula. May not be expressible in strict first order.
Government.kif 473-475
If
a geopolitical area
dependent
area of type
another geopolitical area
for
a third kind of geopolitical area
,
then
the geopolitical area
is a
dependent
of
the other geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 482-485
If
a geopolitical area
is a
geopolitical
part of
another geopolitical area
,
then not
the geopolitical area
is a
dependent
of
the other geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 493-498
If
a geopolitical area
is an
instance
of
overseas area
,
then there exists
another geopolitical area
such that
the other geopolitical area
is an
instance
of
nation
and
the geopolitical area
is a
dependent
of
the other geopolitical area
No TPTP formula. May not be expressible in strict first order.
Media.kif 2614-2616
If
a geopolitical area
is a
member
of
United states minor outlying islands
,
then
the geopolitical area
is a
dependent
of
united states
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Media.kif 2562-2562
Aaland islands
is a
dependent
of
finland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3726-3726
American samoa
is a
dependent
of
united states
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3728-3728
Anguilla
is a
dependent
of
united kingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3730-3730
Aruba
is a
dependent
of
netherlands
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3732-3732
Ashmore and cartier islands
is a
dependent
of
australia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3734-3734
Baker island
is a
dependent
of
united states
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3736-3736
Bassas da india
is a
dependent
of
france
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3738-3738
Bermuda
is a
dependent
of
united kingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3740-3740
Bouvet island
is a
dependent
of
norway
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3742-3742
British indian ocean territory
is a
dependent
of
united kingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3744-3744
British virgin islands
is a
dependent
of
united kingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3747-3747
Cayman islands
is a
dependent
of
united kingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3750-3750
Channel islands
is a
dependent
of
united kingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3754-3754
Christmas island
is a
dependent
of
australia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3756-3756
Clipperton island
is a
dependent
of
france
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3758-3758
Cocos keeling islands
is a
dependent
of
australia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3760-3760
Cook islands
is a
dependent
of
new zealand
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3762-3762
Coral sea islands
is a
dependent
of
australia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3764-3764
Europa island
is a
dependent
of
france
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3766-3766
Falkland islands
is a
dependent
of
united kingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3768-3768
Faroe islands
is a
dependent
of
denmark
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3770-3770
French guiana
is a
dependent
of
france
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3772-3772
French polynesia
is a
dependent
of
france
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3774-3774
French southern and antarctic lands
is a
dependent
of
france
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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