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
地理的地域
は
国民
の
instance
では %n
geographicSubregion
地理的地域
and
NorthAmerica
geographicSubregion
地理的地域
and
SouthAmerica
geographicSubregion
地理的地域
and
WesternEurope
nationalHoliday
地理的地域
and
ChristmasDay
は
地理的地域
の
time
の existence の
during
holds %n{ない}
(=>
(
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
は
国民
の
instance
では %n
AutonomousAgent
は
国民
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
ポジション
は
AutonomousAgent
の
attribute
では %n
ポジション
は
DiplomaticAgent
の
subattribute
では %n
representativeAgentToAgent
AutonomousAgent
,
AutonomousAgent
and
AutonomousAgent
diplomaticRepresentationType
AutonomousAgent
,
ポジション
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
地理的地域
は
MaritimeShelfArea
の
instance
では %n
オブジェクト
は
ContinentalShelf
の
instance
では %n
AutonomousAgent
は
国民
の
instance
では %n
オブジェクト
は
AutonomousAgent
と
meet
s %n{ない}
claimedTerritory
地理的地域
and
AutonomousAgent
overlapsSpatially
地理的地域
and
オブジェクト
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
naturalHazardTypeInArea
地理的地域
and
物理
geographicSubregion
地理的地域
and
地理的地域
地理的地域
は
国民
の
instance
では %n
naturalHazardTypeInArea
地理的地域
and
物理
(=>
(
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
認識エージェント
and
Agreement
工程
は
意図的なプロセス
の
instance
では %n
工程
は
地政学的地域
に
located
して %n
地政学的地域
は
国民
の
instance
では %n
工程
は
地政学的地域
2 に
located
して %n
地政学的地域
2 は
地政学的地域
の
instance
では %n
ageOfMajorityForProcess
実数
の
YearDuration
(s),
地政学的地域
and
工程
ContentBearingPhysical
は
工程
の
result
では %n
recordForAgreement
ContentBearingPhysical
and
Agreement
認識エージェント
の
age
は
エンティティー
の
YearDuration
(s) では
エンティティー
は
実数
より
greater
では %n は
工程
の
time
の existence の
during
holds %n{ない}
Legal
は
Agreement
の
attribute
では %n
(=>
(
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
都市
geographicSubregion
都市
and
地政学的地域
地政学的地域
は
国民
の
instance
では %n
地政学的地域
は
DependencyOrSpecialSovereigntyArea
の
instance
では %n
postCountry
PostalPlace
and
地政学的地域
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
representativeAgentToAgent
地政学的地域
,
認識エージェント
and
AutonomousAgent
地政学的地域
は
国民
の
instance
では %n
認識エージェント
は
認識エージェント
の
instance
では %n
地政学的地域
の
government
は
認識エージェント
を
employ
s %n{ない}
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
地政学的地域
は
国民
の
instance
では %n
命題
命題
は
VoterAgeRequirement
の
instance
では %n
命題
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
地政学的地域
は
国民
の
instance
では %n
地政学的地域
の
government
は
NationalGovernment
の
instance
では %n
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