Nation
(nation)
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
If
a geographic area
is an
instance
of
nation
and
the geographic area
is a
geographic
subregion of
north america
or
the geographic area
is a
geographic
subregion of
south america
or
the geographic area
is a
geographic
subregion of
western europe
,
then
Christmas day
is a
national
holiday of
the geographic area
holds
during
the
time
of existence of
the geographic area
(=>
(
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
If
an agent
is an
instance
of
nation
and
another agent
is an
instance
of
nation
and
a third agent
is an
instance
of
human
and
a position
is an
attribute
of
the third agent
and
the position
is a
subattribute
of
diplomatic agent
and
the agent
is
representative
agent to agent
the third agent
for
the other agent
,
then
the agent
diplomatic
representation type
the position
for
the other agent
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
If
a geographic area
is an
instance
of
maritime shelf area
and
an object
is an
instance
of
continental shelf
and
an agent
is an
instance
of
nation
and
the object
meet
s
the agent
and
the agent
is a
claimed
territory of
the geographic area
,
then
the geographic area
and
the object
overlapsSpatially
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
If
a kind of physical
is a
natural
hazard type in area of
a geographic area
and
the geographic area
is a
geographic
subregion of
another geographic area
and
the other geographic area
is an
instance
of
nation
,
then
a kind of physical
is a
natural
hazard type in area of
the other geographic area
(=>
(
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
If
an agreement
is a
party
to agreement of
a cognitive agent
and
a process
is an
instance
of
intentional process
and
the process
is
located
at
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
and
the process
is
located
at
the geopolitical area
2 and
the geopolitical area
2 is an
instance
of
geopolitical area
and
a real number
year duration
(s) is the age of majority for
the process
in
the geopolitical area
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is the
record
of
the agreement
and the
age
of
the cognitive agent
is
an entity
year duration
(s) and
the entity
is
greater
than
the real number
holds
during
the
time
of existence of
the process
,
then
legal
is an
attribute
of
the agreement
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736
If
a postal place
is in
a city
and
the city
is a
geographic
subregion of
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
or
the geopolitical area
is an
instance
of
dependency or special sovereignty area
,
then
the postal place
is in
the geopolitical area
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
If
a geopolitical area
is
representative
agent to agent
a cognitive agent
for
an agent
and
the geopolitical area
is an
instance
of
nation
and
the cognitive agent
is an
instance
of
cognitive agent
,
then the
government
of
the geopolitical area
employ
s
the cognitive agent
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
If
a geopolitical area
is an
instance
of
nation
,
then there exists
a proposition
such that
the proposition
is an
instance
of
voter age requirement
and
the proposition
is a
sub
-proposition of the
regional
law of
the geopolitical area
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
If
a geopolitical area
is an
instance
of
nation
,
then the
government
of
the geopolitical area
is an
instance
of
national government
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