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
例
GeographicArea
and
Nation
GeographicArea
是
北美
的
geographic
次要地區
GeographicArea
是
南美洲
的
geographic
次要地區
GeographicArea
是
西歐
的
geographic
次要地區
持有期間
何時
GeographicArea
and
ChristmasDay
是
GeographicArea
的
national
節日
(=>
(
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
and
Nation
例
AutonomousAgent
and
Nation
例
AutonomousAgent
and
Human
attribute
AutonomousAgent
and
Position
子屬性
Position
and
外交代表
%1 是 對於 %3 給代理 %2 的
representative
代理
%
AutonomousAgent
%3
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
例
GeographicArea
and
海運貨架區
例
Object
and
大陸棚
例
AutonomousAgent
and
Nation
空間的符合
Object
and
AutonomousAgent
AutonomousAgent
是
GeographicArea
的
claimed
領土
在空間上重疊
GeographicArea
and
Object
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
Physical
是區域
GeographicArea
的
natural
有害類別
GeographicArea
是
GeographicArea
的
geographic
次要地區
例
GeographicArea
and
Nation
Physical
是區域
GeographicArea
的
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
協議
是
CognitiveAgent
的
party
協議
例
Process
and
IntentionalProcess
位於
Process
and
GeopoliticalArea
例
GeopoliticalArea
and
Nation
位於
Process
and
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
ageOfMajorityForProcess
測量
RealNumber
and
年持續時間
,
GeopoliticalArea
and
Process
結果
Process
and
內容承載物理
內容承載物理
是
協議
的
record
持有期間
何時
Process
and
年齡
CognitiveAgent
and
測量
entity
and
年持續時間
比較多
entity
and
RealNumber
attribute
協議
and
合法
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24728-24735
PostalPlace
是在
City
City
是
GeopoliticalArea
的
geographic
次要地區
例
GeopoliticalArea
and
Nation
例
GeopoliticalArea
and
依賴或特殊主權領域
PostalPlace
是在
GeopoliticalArea
(=>
(
and
(
representativeAgentToAgent
?SENDER ?REP ?RECEIVER)
(
instance
?SENDER
Nation
)
(
instance
?REP
CognitiveAgent
))
(
employs
(
GovernmentFn
?SENDER) ?REP))
Government.kif 4614-4619
%1 是 對於 %3 給代理 %2 的
representative
代理
例
GeopoliticalArea
and
Nation
例
CognitiveAgent
and
CognitiveAgent
採用
政府
GeopoliticalArea
and
CognitiveAgent
(=>
(
instance
?COUNTRY
Nation
)
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?COUNTRY)))))
Government.kif 935-940
例
GeopoliticalArea
and
Nation
Proposition
例
Proposition
and
選民年齡要求
次提案
Proposition
and
GeopoliticalArea
的
regional
法律
(=>
(
instance
?COUNTRY
Nation
)
(
instance
(
GovernmentFn
?COUNTRY)
NationalGovernment
))
Government.kif 117-119
例
GeopoliticalArea
and
Nation
例
政府
GeopoliticalArea
and
國家政府
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