or
(=>
(
and
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exists
(?YEAR)
(
and
(
instance
?YEAR ?PERIOD)
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT)))))
Economy.kif 2583-2592
importTotalInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Intervalo Temporal
e' uma
sub
-classe de
Ano
Intervalo Temporal
e' uma
sub
-classe de
FiscalYearFn
Area Geopolitica
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualImportTotal
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
(=>
(
and
(
instance
?A
Ambulating
)
(
subProcess
?S1 ?A)
(
instance
?S1
Stepping
)
(
subProcess
?S2 ?A)
(
instance
?S2
Stepping
)
(
equal
?S1START
(
BeginFn
(
WhenFn
?S1)))
(
equal
?S2START
(
BeginFn
(
WhenFn
?S2)))
(
not
(
or
(
before
?S1START ?S2START)
(
before
?S2START ?S1START))))
(
equal
?S1 ?S2))
Mid-level-ontology.kif 501-514
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Stepping
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START e'
igual
a o
comeco
de
tempo
de existencia de
Processo
Processo
START comeca
antes
de
Processo
START
Processo
START comeca
antes
de
Processo
START
Processo
e'
igual
a
Processo
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
exists
(?MAINTAINING)
(
and
(
instance
?MAINTAINING
Maintaining
)
(
instrument
?MAINTAINING ?A)
(
experiencer
?MAINTAINING ?OBJ)))))
MilitaryDevices.kif 1619-1630
Objeto
e' uma
instancia
de
Armor
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Preservar
Objeto
e' um
instrumento
para
Entidade
Objeto
experimenta
Entidade
(=>
(
and
(
instance
?A
Armor
)
(
or
(
part
?A ?OBJ)
(
meetsSpatially
?A ?OBJ)))
(
hasPurpose
?A
(
not
(
exists
(?DAMAGING)
(
and
(
instance
?DAMAGING
Damaging
)
(
instrument
?DAMAGING ?A)
(
experiencer
?DAMAGING ?OBJ))))))
MilitaryDevices.kif 1632-1644
Objeto
e' uma
instancia
de
Armor
Objeto
e' uma &parte de
Objeto
Objeto
encontra
Objeto
Objeto
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Causar Dano
Objeto
e' um
instrumento
para
Entidade
Objeto
experimenta
Entidade
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
Processo
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Processo
Processo
tem como
origem
Agente Cognitivo
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validPaymentType
PricingScheme
and
Payment
o argumento
Payment
MENT
Payment
MENT e' uma
instancia
de
Payment
Payment
MENT e' um
sub
-processo de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?C
Colloid
)
(
part
?P ?C)
(
or
(
attribute
?P
Solid
)
(
attribute
?P
Liquid
))
(
instance
?AIR
Air
)
(
part
?AIR ?C))
(
instance
?C
Aerosal
))
Geography.kif 7545-7554
Objeto
e' uma
instancia
de
Colloid
Objeto
e' uma &parte de
Objeto
Solid
e' um
atributo
de
Objeto
Liquid
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Air
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Aerosal
(=>
(
and
(
instance
?C
MuscularContraction
)
(
moves
?C ?M)
(
or
(
instance
?M
VoluntaryMuscle
)
(
instance
?M
HeartMuscle
)))
(
exists
(?T)
(
and
(
instance
?T
Troponin
)
(
resource
?C ?T))))
Medicine.kif 3954-3964
Movimento
e' uma
instancia
de
MuscularContraction
moves
Movimento
and
Objeto
Objeto
e' uma
instancia
de
VoluntaryMuscle
Objeto
e' uma
instancia
de
HeartMuscle
Objeto
Objeto
e' uma
instancia
de
Troponin
Objeto
e' um
recurso
para
Movimento
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 753-763
Processo
e' uma
instancia
de
Hurricane
eventLocated
Processo
and
Objeto
Objeto
e' uma
instancia
de
Area Geografica
Objeto
e'
situado
em
Objeto
Objeto
encontra
Objeto
Objeto
e'
igual
a
NortheasternPacificOcean
Objeto
e'
igual
a
NorthAtlanticOcean
(=>
(
and
(
instance
?M
Meal
)
(
member
?H ?M)
(
or
(
instance
?H
Coffee
)
(
instance
?H
Tea
))
(
member
?J ?M)
(
instance
?J
Juice
)
(
member
?B ?M)
(
instance
?B
BreadOrBiscuit
)
(
member
?B ?M)
(
instance
?B
Butter
)
(
member
?JA ?M)
(
instance
?JA
Jam
))
(
attribute
?M
ContinentalBreakfast
))
Food.kif 1731-1746
Colecao
e' uma
instancia
de
Meal
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Coffee
Fisico
e' uma
instancia
de
Tea
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Juice
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
BreadOrBiscuit
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
Butter
Fisico
A e'
membro
de
Colecao
Fisico
A e' uma
instancia
de
Jam
ContinentalBreakfast
e' um
atributo
de
Colecao
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
Area Geografica
e' uma
instancia
de
Nacao
geographicSubregion
Area Geografica
and
NorthAmerica
geographicSubregion
Area Geografica
and
SouthAmerica
geographicSubregion
Area Geografica
and
WesternEurope
nationalHoliday
Area Geografica
and
ChristmasDay
vale
durante
tempo
de existencia de
Area Geografica
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?WRITE
Writing
)
(
or
(
instance
?TEXT
Text
)
(
instance
?TEXT
Document
))
(
result
?WRITE ?TEXT)
(
agent
?WRITE ?PERSON))
(
attribute
?PERSON
Writer
))
Biography.kif 742-751
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Escrever
Entidade
e' uma
instancia
de
Texto
Entidade
e' uma
instancia
de
Document
Entidade
e' o
resultado
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Writer
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?PROC
ChemicalProcess
)
(
or
(
resource
?PROC ?STUFF)
(
result
?PROC ?STUFF)))
(
instance
?STUFF
PureSubstance
))
Merge.kif 12514-12520
Processo
e' uma
instancia
de
Processo Quimico
Objeto
e' um
recurso
para
Processo
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
Substancia Pura
(=>
(
and
(
instance
?TC
TropicalCyclonicSystem
)
(
origin
?TC ?SEA)
(
or
(
instance
?SEA
NorthAtlanticOcean
)
(
instance
?SEA
PacificOcean
)
(
instance
?SEA
IndianOcean
)))
(
not
(
exists
(?AREA ?DIR ?NUM ?LONG)
(
and
(
located
?AREA ?SEA)
(
instance
?DIR
DirectionalAttribute
)
(
objectGeographicCoordinates
?AREA
(
LatitudeFn
?DIR
(
MeasureFn
?NUM
AngularDegree
)) ?LONG)
(
or
(
equal
?DIR
North
)
(
equal
?DIR
South
))
(
lessThan
?NUM 5.0)))))
Weather.kif 627-646
Processo
e' uma
instancia
de
TropicalCyclonicSystem
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
NorthAtlanticOcean
Objeto
e' uma
instancia
de
PacificOcean
Objeto
e' uma
instancia
de
IndianOcean
Objeto
Atributo Directional
,
Numero Real
and
Longitude
Objeto
e'
situado
em
Objeto
Atributo Directional
e' uma
instancia
de
Atributo Directional
objectGeographicCoordinates
Objeto
,
LatitudeFn
Atributo Directional
and
Numero Real
AngularDegree
(s) and
Longitude
Atributo Directional
e'
igual
a
North
Atributo Directional
e'
igual
a
South
Numero Real
e'
menos
que 5.0
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
Processo
e' uma
instancia
de
UnconventionalWarfare
Processo
e' um
agente
de
Governo
Governo
e'
igual
a
AutonomousAgent
Governo
e'
igual
a o
governo
de
Area Geopolitica
AutonomousAgent
e' um
patient
de
Processo
AutonomousAgent
e'
membro
de
ResidentFn
Area Geopolitica
AutonomousAgent
e' uma
sub
-colecao de
ResidentFn
Area Geopolitica
Processo
Processo
e' uma
instancia
de
Contest
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de o
governo
de
Area Geopolitica
(=>
(
and
(
instance
?X
Substance
)
(
or
(
attribute
?X
Gas
)
(
attribute
?X
Liquid
)
(
attribute
?X
Plasma
)))
(
attribute
?X
Fluid
))
Merge.kif 17594-17601
Objeto
e' uma
instancia
de
Substancia
Gas
e' um
atributo
de
Objeto
Liquid
e' um
atributo
de
Objeto
Plasma
e' um
atributo
de
Objeto
Fluid
e' um
atributo
de
Objeto
(=>
(
and
(
names
?NAMESTRING ?OBJ)
(
or
(
nameAfterKeyName
?STRING ?KEY ?NAMESTRING)
(
equal
?STRING ?KEY)))
(
nameIndexOrder
?NAMESTRING ?OBJ))
Media.kif 3374-3380
Entidade
se chama
nome
Sequencia Simbolica
nameAfterKeyName
Sequencia Simbolica
,
Sequencia Simbolica
and
Sequencia Simbolica
Sequencia Simbolica
e'
igual
a
Sequencia Simbolica
nameIndexOrder
Sequencia Simbolica
and
Entidade
(=>
(
and
(
or
(
instance
?ROLE
OccupationalTrade
)
(
instance
?ROLE
Profession
))
(
holdsDuring
?T1
(
attribute
?HUMAN ?ROLE)))
(
exists
(?FIELD)
(
and
(
subclass
?FIELD
FieldOfStudy
)
(
holdsDuring
?T1
(
hasExpertise
?HUMAN ?FIELD)))))
Mid-level-ontology.kif 8293-8302
Entidade
e' uma
instancia
de
OccupationalTrade
Entidade
e' uma
instancia
de
Profession
Entidade
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Classe
Classe
e' uma
sub
-classe de
Campo de Estudos
hasExpertise
Entidade
and
Classe
vale
durante
Posicao Temporal
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validFor
PricingScheme
and
AutonomousAgent
Entidade
e' uma
instancia
de
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Comprar
Entidade
e' um
agente
de
Entidade
Entidade
tem como
origem
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
Entidade
,
Medida de Divisa
,
Agente Cognitivo
and
PricingScheme
unitPrice
Entidade
,
Funcao de Quantidade
,
Agente Cognitivo
and
PricingScheme
Entidade
e' uma
sub
-classe de
Fisico
Entidade
e' uma
instancia
imediata de
Entidade
validityPeriod
PricingScheme
and
Intervalo Temporal
o argumento
Entidade
e' uma
instancia
de
Vender
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
e' um
patient
de
Entidade
transactionAmount
Entidade
and
Medida de Divisa
tem a
forca
modal
de
Likely
vale
durante
Intervalo Temporal
(=>
(
and
(
paidFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
paidFunctionRoomAmenity
HotelFunctionRoom
and
Fisico
Entidade
e' uma
instancia
de
HotelFunctionRoom
Entidade
e' um
elemento
de
propriedade
de
AutonomousAgent
Processo
e' uma
instancia
de
Renting
Entidade
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Objeto
e' uma
instancia
de
Fisico
AutonomousAgent
possui
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Objeto
e' uma
instancia
de
Processo
Objeto
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Objeto
AutonomousAgent
possui
Objeto
Objeto
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Objeto
Numero Real
Unidade de Medida
price
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
(=>
(
and
(
paidPropertyAmenity
?AGENT ?PHYS)
(
instance
?X ?PHYS)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 569-589
paidPropertyAmenity
AutonomousAgent
and
Fisico
Processo
e' uma
instancia
de
Fisico
customer
Agente Cognitivo
and
AutonomousAgent
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
AutonomousAgent
possui
Processo
Processo
e' uma
instancia
de
Objeto
Agente Cognitivo
usa
Processo
Numero Real
Unidade de Medida
price
Processo
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Numero Real
e'
maior
que 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
paidRoomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Objeto
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Objeto
e' uma
instancia
de
Fisico
Objeto
e'
situado
em
TemporaryResidence
Processo
e' uma
instancia
de
Processo
Processo
e' um
agente
de
Humano
Processo
e'
situado
em
TemporaryResidence
Objeto
e' um
patient
de
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
Processo
RICE
Unidade de Medida
price
Objeto
,
Processo
RICE
Unidade de Medida
(s) and
Humano
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
RICE e'
maior
que 0
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
paidRoomAmenity
HotelUnit
and
Fisico
Fisico
e' uma
sub
-classe de
Processo
TemporaryResidence
e' uma
instancia
de
HotelUnit
stays
Humano
and
TemporaryResidence
TemporaryResidence
e' um
elemento
de
propriedade
de
AutonomousAgent
Humano
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Fisico
Processo
e' uma
instancia
de
Fisico
Processo
e' um
sub
-processo de
Processo
Processo
e'
situado
em
TemporaryResidence
Processo
RICE
Unidade de Medida
price
Processo
,
Processo
RICE
Unidade de Medida
(s) and
Humano
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
RICE e'
maior
que 0
(=>
(
and
(
parent
?CHILD ?PARENT)
(
or
(
instance
?CHILD
HumanChild
)
(
instance
?CHILD
HumanBaby
)))
(
modalAttribute
(
exists
(?CARE)
(
and
(
instance
?CARE
ChildCareService
)
(
desires
?PARENT ?CARE)))
Possibility
))
Hotel.kif 1890-1900
Organismo
e' um
genitor
de
Organismo
Organismo
e' uma
instancia
de
HumanChild
Organismo
e' uma
instancia
de
HumanBaby
o argumento
Entidade
Entidade
e' uma
instancia
de
ChildCareService
Organismo
deseja
Entidade
tem a
forca
modal
de
Possibility
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736
postCity
PostalPlace
and
Cidade
geographicSubregion
Cidade
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Area Geopolitica
e' uma
instancia
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
Area Geopolitica
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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