GeopoliticalArea
(地缘政治区域)
(=>
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
instance
?SHIP
Ship
)
(
possesses
?SHIP ?REGISTRATION)
(
instance
?AREA
GeopoliticalArea
)
(
flagState
?SHIP ?AREA))
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))
Transportation.kif 1097-1104
如果
客体
是
船舶登记
的
instance
和
施事体
是
船
的
instance
和
那个 施事体
possesses
那个 客体
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
是
那个 施事体
的
flag
状态,
然后
那个 地缘政治区域
的
ship
注册 包含
那个 客体
的内容
(=>
(
and
(
instance
?SALES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?SALES)
(
instance
?MEMBER
Selling
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?SELLER ?SELLING)
(=>
(
and
(
instance
?SELLER
AutonomousAgent
)
(
instance
?SELLING
Buying
)
(
member
?SELLING ?SALES)
(
agent
?SELLING ?SELLER))
(
located
?SELLER ?REGION))))))
(
exists
(?AMOUNT ?SALE ?TOTAL_SALE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?SALE
Selling
)
(
member
?SALE ?SALES)
(
transactionAmount
?SALE ?AMOUNT))) ?TOTAL_SALE_AMOUNT)
(
equal
(
GMVFn
?SALES) ?TOTAL_SALE_AMOUNT))))
UXExperimentalTerms.kif 2999-3026
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
出售
的
instance
和 有存在
客体
这样
那个 客体
是
地缘政治区域
的
instance
和 对所有
施事体
和
过程
如果
那个 施事体
是
施事体
的
instance
和
那个 过程
是
购买
的
instance
和
那个 过程
是
那个 群体
的
member
和
那个 施事体
是
那个 过程
的
agent
,
然后
那个 施事体
是
located
在
那个 客体
,
然后 有存在
符号串
,
实体
, and 和
另一个 实体
_SALE_AMOUNT 这样
total
价值在
那个 符号串
所描述的类别 是
那个 另外 实体
_SALE_AMOUNT 和
那个 群体
的
value
equal
那个 另外 实体
_SALE_AMOUNT
(=>
(
and
(
instance
?SHIP
Ship
)
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
exists
(?REGISTRATION)
(
and
(
instance
?REGISTRATION
ShipRegistration
)
(
possesses
?SHIP ?REGISTRATION)
(
subsumesContentInstance
(
ShipRegisterFn
?AREA) ?REGISTRATION))))
Transportation.kif 1157-1166
如果
施事体
是
船
的
instance
和
地缘政治区域
是
地缘政治区域
的
instance
和
那个 施事体
是
那个 地缘政治区域
的
merchant
海洋 的
member
,
然后 有存在
客体
这样
那个 客体
是
船舶登记
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 地缘政治区域
的
ship
注册 包含
那个 客体
的内容
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
如果
地缘政治区域
是
机构
的
judicial
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
另一个 机构
是
那个 机构
Organization
的一部分,
然后
那个 另外 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
如果
地缘政治区域
是
机构
的
judicial
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
judicialBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2112-2116
如果
施事体
是
机构
的
judicial
分支 和
那个 施事体
是
地缘政治区域
的
instance
,
然后
那个 机构
是
政府组织
的
instance
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2017-2021
如果
施事体
是
机构
的
legislative
分支 和
那个 施事体
是
地缘政治区域
的
instance
,
然后
那个 机构
是
政府组织
的
instance
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
如果
地缘政治区域
是
机构
的
legislative
分支 和
那个 地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 机构
是
那个 地缘政治区域
的
Government
Organization
的一部分
(=>
(
and
(
partyToAgreement
?A1 ?AG)
(
instance
?PROC
IntentionalProcess
)
(
located
?PROC ?LOC)
(
instance
?LOC
GeopoliticalArea
)
(
ageOfMajorityForProcess
(
MeasureFn
?N
YearDuration
) ?LOC ?PROC)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
holdsDuring
(
WhenFn
?PROC)
(
and
(
age
?A1
(
MeasureFn
?N2
YearDuration
))
(
greaterThan
?N2 ?N))))
Law.kif 573-588
如果
协议
是
有认知的主事
的
party
协议 和
过程
是
有意图过程
的
instance
和
那个 过程
是
located
在
地缘政治区域
和
那个 地缘政治区域
是
地缘政治区域
的
instance
和
ageOfMajorityForProcess
实数
年持续时间
,
那个 地缘政治区域
and
那个 过程
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
那个 协议
的
record
和
合法
是
那个 协议
的
attribute
,
然后
那个 有认知的主事
的
age
是
那个 实数
2
年持续时间
和
那个 实数
2 是
greaterThan
那个 实数
在
那个 过程
出现 的
time
holdsDuring
(=>
(
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
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1534-1536
如果
地缘政治区域
是
地缘政治区域
的
instance
,
然后
那个 地缘政治区域
的
cabinet
是
那个 地缘政治区域
的
executive
分支
Organization
的一部分
(=>
(
instance
?region
GeopoliticalArea
)
(
instance
(
MaritimeClaimsTerritorialSeaFn
?region)
(
PerimeterAreaFn
?region)))
Geography.kif 787-789
如果
地区
是
地缘政治区域
的
instance
,
然后
maritime
宣称 1% 的海洋领土 是
那个 地区
的
perimeter
地区 的
instance
(=>
(
instance
?region
GeopoliticalArea
)
(
instance
(
MaritimeClaimsTerritorialSeaFn
?region)
UniformPerimeterArea
))
Geography.kif 791-793
如果
地区
是
地缘政治区域
的
instance
,
然后
maritime
宣称 1% 的海洋领土 是
均匀的周边区域
的
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