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
Secteur g�ographique
est une
instance
de
nation
geographicSubregion
secteur g�ographique
and
NorthAmerica
geographicSubregion
secteur g�ographique
and
SouthAmerica
geographicSubregion
secteur g�ographique
and
WesternEurope
nationalHoliday
secteur g�ographique
and
ChristmasDay
pendant
temps
d'existence de
secteur g�ographique
(=>
(
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
est une
instance
de
nation
AutonomousAgent
est une
instance
de
nation
AutonomousAgent
est une
instance
de
humain
position
est un
attribut
de
AutonomousAgent
position
est un
sous
-attribut de
DiplomaticAgent
representativeAgentToAgent
AutonomousAgent
,
AutonomousAgent
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
position
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
Secteur g�ographique
est une
instance
de
MaritimeShelfArea
objet
est une
instance
de
ContinentalShelf
AutonomousAgent
est une
instance
de
nation
objet
rencontre
AutonomousAgent
claimedTerritory
secteur g�ographique
and
AutonomousAgent
secteur g�ographique
recouvre
objet
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
naturalHazardTypeInArea
secteur g�ographique
and
physique
geographicSubregion
secteur g�ographique
and
secteur g�ographique
secteur g�ographique
est une
instance
de
nation
naturalHazardTypeInArea
secteur g�ographique
and
physique
(=>
(
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
agent cognitif
and
Agreement
processus
est une
instance
de
processus intentionnel
processus
est
situ
� �
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
processus
est
situ
� �
secteur g�opolitique
2
secteur g�opolitique
2 est une
instance
de
secteur g�opolitique
ageOfMajorityForProcess
nombre r�el
YearDuration
(s),
secteur g�opolitique
and
processus
ContentBearingPhysical
est le
resultat
de
processus
recordForAgreement
ContentBearingPhysical
and
Agreement
l'
agent cognitif
est
entit�
YearDuration
(s)
entit�
est
plus
grand
que
nombre r�el
pendant
temps
d'existence de
processus
Legal
est un
attribut
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
ville
geographicSubregion
ville
and
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
est une
instance
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
secteur g�opolitique
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
representativeAgentToAgent
secteur g�opolitique
,
agent cognitif
and
AutonomousAgent
secteur g�opolitique
est une
instance
de
nation
agent cognitif
est une
instance
de
agent cognitif
le
gouvernment
de
secteur g�opolitique
emploie
agent cognitif
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
Secteur g�opolitique
est une
instance
de
nation
proposition
proposition
est une
instance
de
VoterAgeRequirement
proposition
est une
sous
-proposition de
RegionalLawFn
secteur g�opolitique
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
Secteur g�opolitique
est une
instance
de
nation
le
gouvernment
de
secteur g�opolitique
est une
instance
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