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
Le nombre 1 argument de
dependentGeopoliticalArea
est une
instance
de
secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.
Government.kif 460-460
Le nombre 2 argument de
dependentGeopoliticalArea
est une
instance
de
secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.
Government.kif 456-456
dependentGeopoliticalArea
est une
instance
de
relation asym�trique
No TPTP formula. May not be expressible in strict first order.
Government.kif 457-457
dependentGeopoliticalArea
est une
instance
de
relation transitive
No TPTP formula. May not be expressible in strict first order.
Government.kif 458-458
dependentGeopoliticalArea
est
reli
� � l'int�rieur de SUMO �
primaryGeopoliticalSubdivision
No TPTP formula. May not be expressible in strict first order.
Geography.kif 966-966
dependentGeopoliticalArea
est une
sous
-relation de
claimedTerritory
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
dependentGeopoliticalArea
secteur g�opolitique
and
secteur g�opolitique
sous-division g�opolitique
No TPTP formula. May not be expressible in strict first order.
Government.kif 469-471
dependentGeopoliticalArea
secteur g�opolitique
and
secteur g�opolitique
secteur g�opolitique
poss
�de
secteur g�opolitique
consequent
No TPTP formula. May not be expressible in strict first order.
Government.kif 546-553
independenceDate
secteur g�opolitique
and
interval temporel
position temporel
est une
instance
de
interval temporel
entit�
dependentGeopoliticalArea
secteur g�opolitique
and
entit�
pendant
apr
�s
position temporel
No TPTP formula. May not be expressible in strict first order.
Government.kif 473-475
dependentAreaOfType
secteur g�opolitique
,
secteur g�opolitique
and
secteur g�opolitique
dependentGeopoliticalArea
secteur g�opolitique
and
secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.
Government.kif 482-485
Sous-division g�opolitique
dependentGeopoliticalArea
secteur g�opolitique
and
secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.
Government.kif 493-498
Secteur g�opolitique
est une
instance
de
OverseasArea
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
dependentGeopoliticalArea
secteur g�opolitique
and
secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.
Media.kif 2614-2616
Secteur g�opolitique
est un
membre
de
UnitedStatesMinorOutlyingIslands
dependentGeopoliticalArea
secteur g�opolitique
and
UnitedStates
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Media.kif 2562-2562
dependentGeopoliticalArea
AalandIslands
and
Finland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3726-3726
dependentGeopoliticalArea
AmericanSamoa
and
UnitedStates
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3728-3728
dependentGeopoliticalArea
Anguilla
and
UnitedKingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3730-3730
dependentGeopoliticalArea
Aruba
and
Netherlands
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3732-3732
dependentGeopoliticalArea
AshmoreAndCartierIslands
and
Australia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3734-3734
dependentGeopoliticalArea
BakerIsland
and
UnitedStates
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3736-3736
dependentGeopoliticalArea
BassasDaIndia
and
France
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3738-3738
dependentGeopoliticalArea
Bermuda
and
UnitedKingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3740-3740
dependentGeopoliticalArea
BouvetIsland
and
Norway
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3742-3742
dependentGeopoliticalArea
BritishIndianOceanTerritory
and
UnitedKingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3744-3744
dependentGeopoliticalArea
BritishVirginIslands
and
UnitedKingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3747-3747
dependentGeopoliticalArea
CaymanIslands
and
UnitedKingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3750-3750
dependentGeopoliticalArea
ChannelIslands
and
UnitedKingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3754-3754
dependentGeopoliticalArea
ChristmasIsland
and
Australia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3756-3756
dependentGeopoliticalArea
ClippertonIsland
and
France
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3758-3758
dependentGeopoliticalArea
CocosKeelingIslands
and
Australia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3760-3760
dependentGeopoliticalArea
CookIslands
and
NewZealand
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3762-3762
dependentGeopoliticalArea
CoralSeaIslands
and
Australia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3764-3764
dependentGeopoliticalArea
EuropaIsland
and
France
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3766-3766
dependentGeopoliticalArea
FalklandIslands
and
UnitedKingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3768-3768
dependentGeopoliticalArea
FaroeIslands
and
Denmark
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3770-3770
dependentGeopoliticalArea
FrenchGuiana
and
France
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3772-3772
dependentGeopoliticalArea
FrenchPolynesia
and
France
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3774-3774
dependentGeopoliticalArea
FrenchSouthernAndAntarcticLands
and
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