GeopoliticalArea
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ShipRegisterFn
?AREA)
ShipRegister
))
(
possesses
?AREA
(
ShipRegisterFn
?AREA)))
Transportation.kif 1139-1143
例
GeopoliticalArea
and
GeopoliticalArea
例
GeopoliticalArea
的
ship
註冊 and
船舶登記
擁有
GeopoliticalArea
and
GeopoliticalArea
的
ship
註冊
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
TerritorialSeaFn
?AREA)
TerritorialSea
))
(
claimedTerritory
(
TerritorialSeaFn
?AREA) ?AREA))
Geography.kif 1228-1232
例
GeopoliticalArea
and
GeopoliticalArea
例
GeopoliticalArea
的
territorial
海洋 and
領海
GeopoliticalArea
是
GeopoliticalArea
的
territorial
海洋 的
claimed
領土
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
(
GovernmentFn
?AREA) ?PERSON))
(
leader
?AREA ?PERSON))
Merge.kif 14060-14064
例
GeopoliticalArea
and
GeopoliticalArea
Human
是
政府
GeopoliticalArea
的
leader
Human
是
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
leader
?AREA ?PERSON))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Merge.kif 14066-14070
例
GeopoliticalArea
and
GeopoliticalArea
Human
是
GeopoliticalArea
的
leader
Human
是
政府
GeopoliticalArea
的
leader
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
member
?SHIP
(
MerchantMarineFn
?AREA)))
(
instance
?SHIP
MerchantMarineShip
))
Transportation.kif 972-976
例
GeopoliticalArea
and
GeopoliticalArea
會員
Physical
and
GeopoliticalArea
的
merchant
海洋
例
Physical
and
商船海運
(=>
(
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
例
GeopoliticalArea
and
GeopoliticalArea
佔據位置
Human
,
領導
and
政府
GeopoliticalArea
Process
例
Process
and
Guiding
患者
Process
and
GeopoliticalArea
agent
Process
and
Human
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
?AREA))
(
leader
(
GovernmentFn
?AREA) ?PERSON))
Government.kif 1346-1350
例
Organization
and
GeopoliticalArea
佔據位置
Human
,
領導
and
Organization
Human
是
政府
Organization
的
leader
(=>
(
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
例
GeopoliticalArea
and
GeopoliticalArea
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀
TimeDuration
RULE
例
TimeDuration
RULE and
選民年齡要求
次提案
TimeDuration
RULE and
GeopoliticalArea
的
regional
法律
包含信息
TimeDuration
是
GeopoliticalArea
的
suffrage
最大年紀 and
TimeDuration
RULE
(=>
(
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
例
GeopoliticalArea
and
GeopoliticalArea
TimeDuration
是
GeopoliticalArea
的
suffrage
最小年紀
TimeDuration
RULE
例
TimeDuration
RULE and
選民年齡要求
次提案
TimeDuration
RULE and
GeopoliticalArea
的
regional
法律
包含信息
TimeDuration
是
GeopoliticalArea
的
suffrage
最小年紀 and
TimeDuration
RULE
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?AREA
GeopoliticalArea
))
(
not
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM
MaritimeClaimArea
)
(
claimedTerritory
?CLAIM ?AREA)))))
Geography.kif 924-932
例
AutonomousAgent
and
內陸地區
例
AutonomousAgent
and
GeopoliticalArea
GeographicArea
例
GeographicArea
and
海事索賠區
AutonomousAgent
是
GeographicArea
的
claimed
領土
(=>
(
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
例
Organization
and
政府內閣
子組織
Organization
and
政府
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
有目的
Organization
and
entity
entity
例
entity
and
Stating
agent
entity
and
Organization
患者
entity
and
entity
政府
GeopoliticalArea
是
entity
的
leader
(=>
(
and
(
instance
?COUNTRY
GeopoliticalArea
)
(
governmentType
?COUNTRY
Democracy
))
(
subProposition
VoterCitizenshipRequirement
(
RegionalLawFn
?COUNTRY)))
Government.kif 917-921
例
GeopoliticalArea
and
GeopoliticalArea
%2 是 1% 的
government
類別
次提案
選民公民身份要求
and
GeopoliticalArea
的
regional
法律
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AGENT
GeopoliticalArea
))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14072-14077
例
Process
and
選舉
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
GeopoliticalArea
例
Process
and
PoliticalProcess
(=>
(
and
(
instance
?EVENT
Election
)
(
agent
?EVENT ?AGENT)
(
instance
?AREA
GeopoliticalArea
)
(
instance
?AGENT
(
GovernmentFn
?AREA)))
(
instance
?EVENT
PoliticalProcess
))
Merge.kif 14079-14085
例
Process
and
選舉
agent
Process
and
AutonomousAgent
例
GeopoliticalArea
and
GeopoliticalArea
例
AutonomousAgent
and
政府
GeopoliticalArea
例
Process
and
PoliticalProcess
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
例
Process
and
出口
患者
Process
and
Entity
例
Entity
and
GeopoliticalArea
目的地
Process
and
Entity
持有期間
結束
何時
Process
and
位於
Entity
and
Entity
(=>
(
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
例
Process
and
出口
患者
Process
and
Entity
例
Entity
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
Entity
持有期間
結束
何時
Process
and
位於
Entity
and
Entity
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
origin
?EXPORT ?AREA))
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2412-2419
例
Process
and
出口
患者
Process
and
Entity
例
Object
and
GeopoliticalArea
起源
Process
and
Object
持有期間
開始
何時
Process
and
位於
Entity
and
Object
(=>
(
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
例
Process
and
出口
患者
Process
and
Entity
例
GeopoliticalArea
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
GeopoliticalArea
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
持有期間
結束
何時
Process
and
位於
Entity
and
GeopoliticalArea
(=>
(
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
例
Process
and
出口
患者
Process
and
Entity
例
Object
and
GeopoliticalArea
例
Physical
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
Object
持有期間
結束
何時
Process
and
位於
Entity
and
Physical
位於
Physical
and
Object
(=>
(
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
例
Process
and
出口
患者
Process
and
Entity
例
Object
and
GeopoliticalArea
起源
Process
and
Object
例
Entity
and
GeopoliticalArea
目的地
Process
and
Entity
等於
Object
and
Entity
(=>
(
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
例
Process
and
出口
患者
Process
and
Entity
例
Object
and
GeopoliticalArea
起源
Process
and
Object
例
Physical
and
GeopoliticalArea
目的地
Process
and
Physical
位於
Physical
and
Object
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
例
GeopoliticalArea
and
GeographicArea
所有的
instances
在
GeopoliticalArea
子類
GeographicArea
and
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
(=>
(
and
(
instance
?P
CommunistParty
)
(
member
?M ?P)
(
instance
?A
GeopoliticalArea
))
(
desires
?M
(
governmentType
?A
CommunistState
)))
Government.kif 2263-2269
例
Collection
and
共產黨
會員
CognitiveAgent
and
Collection
例
Entity
and
GeopoliticalArea
慾望
CognitiveAgent
and %2 是 1% 的
government
類別
(=>
(
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
例
Human
and
Human
例
Position
and
Position
例
GeopoliticalArea
and
GeopoliticalArea
Position
是
GeopoliticalArea
的
leader
職位
佔據位置
Human
,
Position
and
政府
GeopoliticalArea
Human
是
GeopoliticalArea
的
leader
(=>
(
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
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
Buying
Object
例
Object
and
GeopoliticalArea
AutonomousAgent
Process
例
AutonomousAgent
and
AutonomousAgent
例
Process
and
Buying
會員
Process
and
Collection
agent
Process
and
AutonomousAgent
位於
AutonomousAgent
and
Object
SymbolicString
entity
and
entity
_PURCHASE_AMOUNT
total
價值在
卡帕
SymbolicString
and
例
entity
and
Buying
會員
entity
and
Collection
SymbolicString
是
entity
的
transaction
總額 是
entity
_PURCHASE_AMOUNT
等於
Collection
的
value
and
entity
_PURCHASE_AMOUNT
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