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
オブジェクト
は
ShipRegistration
の
instance
では %n
AutonomousAgent
は
Ship
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
地政学的地域
は
地政学的地域
の
instance
では %n
flagState
AutonomousAgent
and
地政学的地域
ShipRegisterFn
地政学的地域
は
オブジェクト
の コンテンツを
subsume
s %n{ない}
(=>
(
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
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
販売
の
instance
では %n
オブジェクト
オブジェクト
は
地政学的地域
の
instance
では %n
AutonomousAgent
工程
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
オブジェクト
に
located
して %n
記号文字列
エンティティー
and
エンティティー
_SALE_AMOUNT
total
記号文字列
で記述される
class
and
エンティティー
_SALE_AMOUNT
GMVFn
コレクション
は
エンティティー
_SALE_AMOUNT と
equal
では %n
(=>
(
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
AutonomousAgent
は
Ship
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
AutonomousAgent
は
MerchantMarineFn
地政学的地域
の
member
では %n
オブジェクト
オブジェクト
は
ShipRegistration
の
instance
では %n
AutonomousAgent
は
オブジェクト
を
possess
es %n{ない}
ShipRegisterFn
地政学的地域
は
オブジェクト
の コンテンツを
subsume
s %n{ない}
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
?ORG ?BRANCH))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2130-2135
judicialBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
組織
の一部では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
judicialBranch
?BRANCH ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?BRANCH
(
GovernmentFn
?AREA)))
Government.kif 2124-2128
judicialBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
and
(
judicialBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2112-2116
judicialBranch
組織
and
AutonomousAgent
AutonomousAgent
は
地政学的地域
の
instance
では %n
組織
は
GovernmentOrganization
の
instance
では %n
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
instance
?ORG
GovernmentOrganization
))
Government.kif 2017-2021
legislativeBranch
組織
and
AutonomousAgent
AutonomousAgent
は
地政学的地域
の
instance
では %n
組織
は
GovernmentOrganization
の
instance
では %n
(=>
(
and
(
legislativeBranch
?ORG ?AREA)
(
instance
?AREA
GeopoliticalArea
))
(
subOrganization
?ORG
(
GovernmentFn
?AREA)))
Government.kif 2029-2033
legislativeBranch
組織
and
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
(=>
(
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
partyToAgreement
認識エージェント
and
Agreement
工程
は
意図的なプロセス
の
instance
では %n
工程
は
地政学的地域
に
located
して %n
地政学的地域
は
地政学的地域
の
instance
では %n
ageOfMajorityForProcess
実数
の
YearDuration
(s),
地政学的地域
and
工程
ContentBearingPhysical
は
工程
の
result
では %n
recordForAgreement
ContentBearingPhysical
and
Agreement
Legal
は
Agreement
の
attribute
では %n
認識エージェント
の
age
は
実数
2 の
YearDuration
(s) では
実数
2 は
実数
より
greater
では %n は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
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
(=>
(
instance
?AREA
GeopoliticalArea
)
(
subOrganization
(
CabinetFn
?AREA)
(
ExecutiveBranchFn
?AREA)))
Government.kif 1534-1536
地政学的地域
は
地政学的地域
の
instance
では %n
CabinetFn
地政学的地域
は組織
ExecutiveBranchFn
地政学的地域
の一部では %n
(=>
(
instance
?region
GeopoliticalArea
)
(
instance
(
MaritimeClaimsTerritorialSeaFn
?region)
(
PerimeterAreaFn
?region)))
Geography.kif 787-789
地域
は
地政学的地域
の
instance
では %n
MaritimeClaimsTerritorialSeaFn
地域
は
PerimeterAreaFn
地域
の
instance
では %n
(=>
(
instance
?region
GeopoliticalArea
)
(
instance
(
MaritimeClaimsTerritorialSeaFn
?region)
UniformPerimeterArea
))
Geography.kif 791-793
地域
は
地政学的地域
の
instance
では %n
MaritimeClaimsTerritorialSeaFn
地域
は
UniformPerimeterArea
の
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