GeopoliticalArea
(地政学的地域)
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
地政学的地域
は
地政学的地域
の
instance
では %n
ShipRegisterFn
地政学的地域
は
ShipRegister
の
instance
では %n
地政学的地域
は
ShipRegisterFn
地政学的地域
を
possess
es %n{ない}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
TerritorialSeaFn
?AREA)
TerritorialSea
))
(
claimedTerritory
(
TerritorialSeaFn
?AREA) ?AREA))
Geography.kif 1228-1232
地政学的地域
は
地政学的地域
の
instance
では %n
TerritorialSeaFn
地政学的地域
は
TerritorialSea
の
instance
では %n
claimedTerritory
TerritorialSeaFn
地政学的地域
and
地政学的地域
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
地政学的地域
は
地政学的地域
の
instance
では %n
leader
地政学的地域
の
government
and
人[人間]
leader
地政学的地域
and
人[人間]
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
地政学的地域
は
地政学的地域
の
instance
では %n
leader
地政学的地域
and
人[人間]
leader
地政学的地域
の
government
and
人[人間]
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
instance
?SHIP
MerchantMarineShip
))
Transportation.kif 972-976
地政学的地域
は
地政学的地域
の
instance
では %n
物理
は
MerchantMarineFn
地政学的地域
の
member
では %n
物理
は
MerchantMarineShip
の
instance
では %n
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
地政学的地域
は
地政学的地域
の
instance
では %n
人[人間]
は
地政学的地域
の
government
の
Leader
の
position
を holds %n{ない}
工程
工程
は
案内
の
instance
では %n
地政学的地域
は
工程
の
patient
では %n
人[人間]
は
工程
の
agent
では %n
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
組織
は
地政学的地域
の
instance
では %n
人[人間]
は
組織
の
Leader
の
position
を holds %n{ない}
leader
組織
の
government
and
人[人間]
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMaximum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMaximum
?AREA ?AGE) ?AGERULE))))
Government.kif 1029-1038
地政学的地域
は
地政学的地域
の
instance
では %n
suffrageAgeMaximum
地政学的地域
and
時間分
時間分
RULE
時間分
RULE は
VoterAgeRequirement
の
instance
では %n
時間分
RULE は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
suffrageAgeMaximum
地政学的地域
and
時間分
は
時間分
RULE の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
suffrageAgeMinimum
?AREA ?AGE))
(
exists
(?AGERULE)
(
and
(
instance
?AGERULE
VoterAgeRequirement
)
(
subProposition
?AGERULE
(
RegionalLawFn
?AREA))
(
containsInformation
(
suffrageAgeMinimum
?AREA ?AGE) ?AGERULE))))
Government.kif 957-966
地政学的地域
は
地政学的地域
の
instance
では %n
suffrageAgeMinimum
地政学的地域
and
時間分
時間分
RULE
時間分
RULE は
VoterAgeRequirement
の
instance
では %n
時間分
RULE は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
suffrageAgeMinimum
地政学的地域
and
時間分
は
時間分
RULE の情報を
contain
s %n{ない}
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?AREA
GeopoliticalArea
))
(
not
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM
MaritimeClaimArea
)
(
claimedTerritory
?CLAIM ?AREA)))))
Geography.kif 924-932
AutonomousAgent
は
LandlockedArea
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
地理的地域
地理的地域
は
MaritimeClaimArea
の
instance
では %n
claimedTerritory
地理的地域
and
AutonomousAgent
(=>
(
and
(
instance
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
組織
は
GovernmentCabinet
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は
エンティティー
エンティティー
エンティティー
は
記載
の
instance
では %n
組織
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
leader
エンティティー
and
地政学的地域
の
government
の 目的 %n{ない}
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
地政学的地域
は
地政学的地域
の
instance
では %n
governmentType
地政学的地域
and
Democracy
VoterCitizenshipRequirement
は
RegionalLawFn
地政学的地域
の
sub
-proposition では %n
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14072-14077
工程
は
Election
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
地政学的地域
の
instance
では %n
工程
は
政治的プロセス
の
instance
では %n
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14079-14085
工程
は
Election
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
AutonomousAgent
は
地政学的地域
の
government
の
instance
では %n
工程
は
政治的プロセス
の
instance
では %n
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
地政学的地域
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
地政学的地域
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
located
して は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2412-2419
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
オブジェクト
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
エンティティー
は
地政学的地域
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
地政学的地域
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
は
地政学的地域
の
geopolitical
部分では
地政学的地域
は
地政学的地域
の
geopolitical
部分では
エンティティー
は
地政学的地域
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
物理
は
地政学的地域
の
instance
では %n
エンティティー
は
オブジェクト
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
物理
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
物理
は
オブジェクト
に
located
して
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
equal
?AREA1 ?AREA2)))
Economy.kif 2468-2476
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
地政学的地域
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
エンティティー
と
equal
では
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
物理
は
地政学的地域
の
instance
では %n
工程
は
物理
に
end
s %n{ない}
物理
は
オブジェクト
に
located
して
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
地政学的地域
は
GeographicPartTypeFn
地理的地域
and
地政学的地域
の
instance
では %n
地理的地域
は
地政学的地域
の
subclass
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
地政学的地域
は
地政学的地域
の
geopolitical
部分では %n
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
コレクション
は
CommunistParty
の
instance
では %n
認識エージェント
は
コレクション
の
member
では %n
エンティティー
は
地政学的地域
の
instance
では %n
認識エージェント
が
governmentType
エンティティー
and
CommunistState
を
desire
s %n{ない}
(=>
(
and
(
instance
?PERSON
Human
)
(
instance
?ROLE
Position
)
(
instance
?AREA
GeopoliticalArea
)
(
leaderPosition
?AREA ?ROLE)
(
occupiesPosition
?PERSON ?ROLE
(
GovernmentFn
?AREA)))
(
leader
?AREA ?PERSON))
Government.kif 1487-1494
人[人間]
は
人[人間]
の
instance
では %n
ポジション
は
ポジション
の
instance
では %n
地政学的地域
は
地政学的地域
の
instance
では %n
leaderPosition
地政学的地域
and
ポジション
人[人間]
は
地政学的地域
の
government
の
ポジション
の
position
を holds %n{ない}
leader
地政学的地域
and
人[人間]
(=>
(
and
(
instance
?PURCHASES
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PURCHASES)
(
instance
?MEMBER
Buying
)))
(
exists
(?REGION)
(
and
(
instance
?REGION
GeopoliticalArea
)
(
forall
(?BUYER ?BUYING)
(=>
(
and
(
instance
?BUYER
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
member
?BUYING ?PURCHASES)
(
agent
?BUYING ?BUYER))
(
located
?BUYER ?REGION))))))
(
exists
(?AMOUNT ?PURCHASE ?TOTAL_PURCHASE_AMOUNT)
(
and
(
total
(
KappaFn
?AMOUNT
(
and
(
instance
?PURCHASE
Buying
)
(
member
?PURCHASE ?PURCHASES)
(
transactionAmount
?PURCHASE ?AMOUNT))) ?TOTAL_PURCHASE_AMOUNT)
(
equal
(
GMBFn
?PURCHASES) ?TOTAL_PURCHASE_AMOUNT))))
UXExperimentalTerms.kif 2956-2983
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
購買
の
instance
では %n
オブジェクト
オブジェクト
は
地政学的地域
の
instance
では %n
AutonomousAgent
工程
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
オブジェクト
に
located
して %n
記号文字列
エンティティー
and
エンティティー
_PURCHASE_AMOUNT
total
記号文字列
で記述される
class
and
エンティティー
_PURCHASE_AMOUNT
GMBFn
コレクション
は
エンティティー
_PURCHASE_AMOUNT と
equal
では %n
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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