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
claimedTerritory
Sigma KEE - claimedTerritory
claimedTerritory
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Geography.kif 968-972
No TPTP formula. May not be expressible in strict first order.
Geography.kif 964-964
O argumento numero 1 de
claimedTerritory
e' uma
instancia
de
Area Geografica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 965-965
O argumento numero 2 de
claimedTerritory
e' uma
instancia
de
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 963-963
claimedTerritory
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 456-456
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 455-455
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 454-454
No TPTP formula. May not be expressible in strict first order.
Geography.kif 966-966
dependentGeopoliticalArea
e' uma
sub
-relacao de
claimedTerritory
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 14994-14994
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 14993-14993
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 14992-14992
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 998-1003
Area Geografica
e' uma
instancia
de
MaritimeClaimArea
MaritimeClaimArea
e' uma
sub
-classe de
MaritimeClaimArea
claimedTerritory
Area Geografica
and
Area Geopolitica
maritimeClaimType
Area Geopolitica
and
MaritimeClaimArea
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1206-1212
Area Geografica
e' uma
instancia
de
MaritimeContiguousZone
claimedTerritory
Area Geografica
and
AutonomousAgent
Area Geografica
e' uma
instancia
de
TerritorialSea
claimedTerritory
Area Geografica
and
AutonomousAgent
Area Geografica
esta'
entre
AutonomousAgent
e
Area Geografica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1075-1082
Area Geografica
e' uma
instancia
de
MaritimeShelfArea
Objeto
e' uma
instancia
de
ContinentalShelf
AutonomousAgent
e' uma
instancia
de
Nacao
Objeto
encontra
AutonomousAgent
claimedTerritory
Area Geografica
and
AutonomousAgent
Area Geografica
engloba
Objeto
consequent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1157-1161
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
ExclusiveFishingZoneFn
Area Geopolitica
e' uma
instancia
de
ExclusiveFishingZone
claimedTerritory
ExclusiveFishingZoneFn
Area Geopolitica
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1189-1193
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
ExtendedFishingZoneFn
Area Geopolitica
e' uma
instancia
de
ExtendedFishingZone
claimedTerritory
ExtendedFishingZoneFn
Area Geopolitica
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1050-1054
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
MaritimeContiguousZoneFn
Area Geopolitica
e' uma
instancia
de
MaritimeContiguousZone
claimedTerritory
MaritimeContiguousZoneFn
Area Geopolitica
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1125-1129
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
MaritimeExclusiveEconomicZoneFn
Area Geopolitica
e' uma
instancia
de
MaritimeExclusiveEconomicZone
claimedTerritory
MaritimeExclusiveEconomicZoneFn
Area Geopolitica
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1092-1096
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
MaritimeShelfAreaFn
Area Geopolitica
e' uma
instancia
de
MaritimeShelfArea
claimedTerritory
MaritimeShelfAreaFn
Area Geopolitica
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1228-1232
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
TerritorialSeaFn
Area Geopolitica
e' uma
instancia
de
TerritorialSea
claimedTerritory
TerritorialSeaFn
Area Geopolitica
and
Area Geopolitica
No TPTP formula. May not be expressible in strict first order.
Geography.kif 924-932
AutonomousAgent
e' uma
instancia
de
LandlockedArea
AutonomousAgent
e' uma
instancia
de
Area Geopolitica
Area Geografica
Area Geografica
e' uma
instancia
de
MaritimeClaimArea
claimedTerritory
Area Geografica
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 989-996
maritimeClaimType
Area Geopolitica
and
MaritimeClaimArea
MaritimeClaimArea
e' uma
sub
-classe de
MaritimeClaimArea
Area Geografica
Area Geografica
e' uma
instancia
de
MaritimeClaimArea
claimedTerritory
Area Geografica
and
Area Geopolitica
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3923-3923
claimedTerritory
Antarctica
and
Argentina
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3924-3924
claimedTerritory
Antarctica
and
Australia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3925-3925
claimedTerritory
Antarctica
and
Chile
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3926-3926
claimedTerritory
Antarctica
and
France
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3927-3927
claimedTerritory
Antarctica
and
NewZealand
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3928-3928
claimedTerritory
Antarctica
and
Norway
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3929-3929
claimedTerritory
Antarctica
and
UnitedKingdom
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3715-3715
claimedTerritory
GazaStrip
and
Israel
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3716-3716
claimedTerritory
GazaStrip
and
PalestinianLiberationOrganization
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3717-3717
claimedTerritory
ParacelIslands
and
China
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3718-3718
claimedTerritory
ParacelIslands
and
Taiwan
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3719-3719
claimedTerritory
ParacelIslands
and
Vietnam
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3720-3720
claimedTerritory
SpratlyIslands
and
China
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3721-3721
claimedTerritory
SpratlyIslands
and
Taiwan
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3722-3722
claimedTerritory
SpratlyIslands
and
Vietnam
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3723-3723
claimedTerritory
WestBank
and
Israel
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3724-3724
claimedTerritory
WestBank
and
PalestinianLiberationOrganization
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 3725-3725
claimedTerritory
WesternSahara
and
Morocco
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