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
和
那个 地理区域
是
北美
的
geographic
次要地区 或
那个 地理区域
是
南美洲
的
geographic
次要地区 或
那个 地理区域
是
西欧
的
geographic
次要地区,
然后
ChristmasDay
是
那个 地理区域
的
national
节日 在
那个 地理区域
出现 的
time
holdsDuring
(=>
(
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
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
如果
地理区域
是
海运货架区
的
instance
和
客体
是
大陆棚
的
instance
和
施事体
是
国家
的
instance
和
那个 客体
接上
那个 施事体
和
那个 施事体
是
那个 地理区域
的
claimed
领土,
然后
那个 地理区域
和
那个 客体
重叠
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
如果
有点 物理
是区域
地理区域
的
natural
有害类别 和
那个 地理区域
是
另一个 地理区域
的
geographic
次要地区 和
那个 另外 地理区域
是
国家
的
instance
,
然后
有点 物理
是区域
那个 另外 地理区域
的
natural
有害类别
(=>
(
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
如果
协议
是
有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
国家
的
instance
和
那个 过程
是
located
在
那个 地缘政治区域
2 和
那个 地缘政治区域
2 是
地缘政治区域
的
instance
和
ageOfMajorityForProcess
实数
年持续时间
,
那个 地缘政治区域
and
那个 过程
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
那个 协议
的
record
和
那个 有认知的主事
的
age
是
实体
年持续时间
和
那个 实体
是
greaterThan
那个 实数
在
那个 过程
出现 的
time
holdsDuring
,
然后
合法
是
那个 协议
的
attribute
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736
如果
PostalPlace
是在
城市
和
那个 城市
是
地缘政治区域
的
geographic
次要地区 和
那个 地缘政治区域
是
国家
的
instance
或
那个 地缘政治区域
是
依赖或特殊主权领域
的
instance
,
然后
那个 PostalPlace
是在
那个 地缘政治区域
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
如果 %1 是 对于 %3 给代理 %2 的
representative
代理 和
地缘政治区域
是
国家
的
instance
和
有认知的主事
是
有认知的主事
的
instance
,
然后
那个 地缘政治区域
的
Government
employs
那个 有认知的主事
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
如果
地缘政治区域
是
国家
的
instance
,
然后 有存在
命题
这样
那个 命题
是
选民年龄要求
的
instance
和
那个 命题
是
那个 地缘政治区域
的
regional
法律 的
subProposition
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
如果
地缘政治区域
是
国家
的
instance
,
然后
那个 地缘政治区域
的
Government
是
国家政府
的
instance
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