Nation
(Nacao)
(=>
(
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
?SENDER
Nation
)
(
instance
?RECEIVER
Nation
)
(
instance
?PERSON
Human
)
(
attribute
?PERSON ?ROLE)
(
subAttribute
?ROLE
DiplomaticAgent
)
(
representativeAgentToAgent
?SENDER ?PERSON ?RECEIVER))
(
diplomaticRepresentationType
?SENDER ?ROLE ?RECEIVER))
Government.kif 4621-4629
AutonomousAgent
e' uma
instancia
de
Nacao
AutonomousAgent
e' uma
instancia
de
Nacao
AutonomousAgent
e' uma
instancia
de
Humano
Posicao
e' um
atributo
de
AutonomousAgent
Posicao
e' um
sub
-atributo de
DiplomaticAgent
representativeAgentToAgent
AutonomousAgent
,
AutonomousAgent
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
Posicao
and
AutonomousAgent
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
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
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
naturalHazardTypeInArea
Area Geografica
and
Fisico
geographicSubregion
Area Geografica
and
Area Geografica
Area Geografica
e' uma
instancia
de
Nacao
naturalHazardTypeInArea
Area Geografica
and
Fisico
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
Nation
)
(
located
?PROC ?LOC2)
(
instance
?LOC2
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N2
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N3
YearDuration
))
(
greaterThan
?N3 ?N2))))
(
attribute
?AG
Legal
))
Law.kif 554-571
partyToAgreement
Agente Cognitivo
and
Agreement
Processo
e' uma
instancia
de
Processo Intencional
Processo
e'
situado
em
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Nacao
Processo
e'
situado
em
Area Geopolitica
2
Area Geopolitica
2 e' uma
instancia
de
Area Geopolitica
ageOfMajorityForProcess
Numero Real
YearDuration
(s),
Area Geopolitica
and
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
recordForAgreement
ContentBearingPhysical
and
Agreement
a
idade
de
Agente Cognitivo
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
que
Numero Real
vale
durante
tempo
de existencia de
Processo
Legal
e' um
atributo
de
Agreement
(=>
(
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
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
representativeAgentToAgent
Area Geopolitica
,
Agente Cognitivo
and
AutonomousAgent
Area Geopolitica
e' uma
instancia
de
Nacao
Agente Cognitivo
e' uma
instancia
de
Agente Cognitivo
o
governo
de
Area Geopolitica
emprega
Agente Cognitivo
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
Area Geopolitica
e' uma
instancia
de
Nacao
Proposicao
Proposicao
e' uma
instancia
de
VoterAgeRequirement
Proposicao
e' uma &sub-proposicao de
RegionalLawFn
Area Geopolitica
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
Area Geopolitica
e' uma
instancia
de
Nacao
o
governo
de
Area Geopolitica
e' uma
instancia
de
NationalGovernment
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