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
Wenn
GeographicArea
ist ein
fall
von
Nation
%n{nicht} und
geographicSubregion
** GeographicArea
and
NorthAmerica
oder
geographicSubregion
** GeographicArea
and
SouthAmerica
oder
geographicSubregion
** GeographicArea
and
WesternEurope
,
dann
nationalHoliday
** GeographicArea
and
ChristmasDay
haelt
waehrend
die
zeit
des Bestehens von
** GeographicArea
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
Position
ist ein
attribut
von
** ** AutonomousAgent
%n{nicht} und
** Position
ist ein
teilattribut
von
DiplomaticAgent
und
representativeAgentToAgent
** AutonomousAgent
,
** ** AutonomousAgent
and
** ** AutonomousAgent
,
dann
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
Wenn
GeographicArea
ist ein
fall
von
MaritimeShelfArea
%n{nicht} und
Object
ist ein
fall
von
ContinentalShelf
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** Object
schliesst
** AutonomousAgent
raeumlich an und
claimedTerritory
** GeographicArea
and
** AutonomousAgent
,
dann
** GeographicArea
deckt
sich mit
** Object
raeumlich %n{nicht}
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
Wenn
naturalHazardTypeInArea
GeographicArea
and
** Physical
und
geographicSubregion
** GeographicArea
and
** GeographicArea
und
** ** GeographicArea
ist ein
fall
von
Nation
%n{nicht},
dann
naturalHazardTypeInArea
** ** GeographicArea
and
** Physical
(=>
(
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
Wenn
partyToAgreement
CognitiveAgent
and
Agreement
und
Process
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** Process
befindet
sich an %n{nicht} und
** GeopoliticalArea
2 ist ein
fall
von
GeopoliticalArea
%n{nicht} und
ageOfMajorityForProcess
RealNumber
YearDuration
(s),
** GeopoliticalArea
and
** Process
und
ContentBearingPhysical
ist ein
resultat
von
** Process
%n{nicht} und
recordForAgreement
** ContentBearingPhysical
and
** Agreement
und das
alter
von
** CognitiveAgent
ist
entity
YearDuration
(s) %n{nicht} und
** entity
ist
groesserAls
** RealNumber
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht},
dann
Legal
ist ein
attribut
von
** Agreement
%n{nicht}
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736
Wenn
postCity
PostalPlace
and
City
und
geographicSubregion
** City
and
GeopoliticalArea
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} oder
** GeopoliticalArea
ist ein
fall
von
DependencyOrSpecialSovereigntyArea
%n{nicht},
dann
postCountry
** PostalPlace
and
** GeopoliticalArea
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
Wenn
representativeAgentToAgent
GeopoliticalArea
,
CognitiveAgent
and
AutonomousAgent
und
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und
** CognitiveAgent
ist ein
fall
von
CognitiveAgent
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
beschaeftigt
** CognitiveAgent
%n{nicht}
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann es gibt
Proposition
um
** Proposition
ist ein
fall
von
VoterAgeRequirement
%n{nicht} und
** Proposition
ist eine
teilangelegenheit
von
RegionalLawFn
** GeopoliticalArea
%n{nicht}
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
Wenn
GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
GovernmentFn
** GeopoliticalArea
ist ein
fall
von
NationalGovernment
%n{nicht}
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