member
(=>
(
and
(
instance
?LGP
LargeGroupProcess
)
(
instance
?G
Collection
)
(
member
?M ?G)
(
involvedInEvent
?LGP ?M))
(
exists
(?P ?PC)
(
and
(
instance
?PC ?P)
(
involvedInEvent
?PC ?M))))
Mid-level-ontology.kif 7948-7957
例
Process
and
LargeGroupProcess
例
Collection
and
Collection
會員
Physical
and
Collection
Physical
是事件
Process
的
involved
Class
Class
C
例
Class
C and
Class
Physical
是事件
Class
C 的
involved
(=>
(
and
(
instance
?M
Meal
)
(
member
?H ?M)
(
or
(
instance
?H
Coffee
)
(
instance
?H
Tea
))
(
member
?J ?M)
(
instance
?J
Juice
)
(
member
?B ?M)
(
instance
?B
BreadOrBiscuit
)
(
member
?B ?M)
(
instance
?B
Butter
)
(
member
?JA ?M)
(
instance
?JA
Jam
))
(
attribute
?M
ContinentalBreakfast
))
Food.kif 1731-1746
例
Collection
and
Meal
會員
Physical
and
Collection
例
Physical
and
咖啡
例
Physical
and
茶
會員
Physical
and
Collection
例
Physical
and
Juice
會員
Physical
and
Collection
例
Physical
and
麵包或餅乾
會員
Physical
and
Collection
例
Physical
and
奶油
會員
Physical
A and
Collection
例
Physical
A and
Jam
attribute
Collection
and
ContinentalBreakfast
(=>
(
and
(
instance
?M
ShoppingMall
)
(
member
?S ?M))
(
instance
?S
RetailStore
))
Mid-level-ontology.kif 7794-7798
例
Collection
and
購物中心
會員
Physical
and
Collection
例
Physical
and
零售店
(=>
(
and
(
instance
?MC
MilitaryConvoy
)
(
member
?X ?MC))
(
instance
?X
MilitaryVehicle
))
Military.kif 102-106
例
Collection
and
軍隊車隊
會員
Physical
and
Collection
例
Physical
and
軍車
(=>
(
and
(
instance
?MIT
BarMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Boy
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 69-85
例
Process
and
BarMitzvah
患者
Process
and
Human
例
Human
and
男孩
會員
Human
and
Collection
例
Collection
and
猶太教
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Integer
3
TimePosition
例
Integer
3 and
Integer
等於
Integer
3 and
加成
Integer
and 13
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
3
等於
何時
Process
and
眼前的未來
TimePosition
(=>
(
and
(
instance
?MIT
BatMitzvah
)
(
patient
?MIT ?X)
(
instance
?X
Girl
)
(
member
?X ?GROUP)
(
instance
?GROUP
Judaism
)
(
birthdate
?X ?DAY)
(
instance
?DAY
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y)))))
(
exists
(?Y13 ?BD13)
(
and
(
instance
?Y13
Integer
)
(
equal
?Y13
(
AdditionFn
?Y 13))
(
instance
?BD13
(
DayFn
?D
(
MonthFn
?M
(
YearFn
?Y13))))
(
equal
(
WhenFn
?MIT)
(
ImmediateFutureFn
?BD13)))))
Biography.kif 99-115
例
Process
and
BatMitzvah
患者
Process
and
Human
例
Human
and
女孩
會員
Human
and
Collection
例
Collection
and
猶太教
Day
是
Human
的
birthdate
例
Day
and
天
PositiveInteger
and
月
Month
and
年
Integer
Integer
3
TimePosition
例
Integer
3 and
Integer
等於
Integer
3 and
加成
Integer
and 13
例
TimePosition
and
天
PositiveInteger
and
月
Month
and
年
Integer
3
等於
何時
Process
and
眼前的未來
TimePosition
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
例
Process
and
聲樂
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Choir
持有期間
Process
and
會員
AutonomousAgent
and
AutonomousAgent
Process
例
Process
and
唱歌
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
例
Process
and
Ordaining
患者
Process
and
Physical
例
Physical
and
Human
會員
Physical
and
基督教
有目的
Process
and
entity
entity
例
entity
and
Ceremony
例
entity
and
任命
子過程
entity
and
entity
患者
entity
and
Physical
appointedPosition
entity
,
Physical
and
牧師
(=>
(
and
(
instance
?ORG
MilitaryOrganization
)
(
holdsDuring
?T1
(
member
?X ?ORG))
(
instance
?X
Human
))
(
holdsDuring
?T1
(
attribute
?X
MilitaryPerson
)))
Mid-level-ontology.kif 22469-22474
例
Entity
and
軍事組織
持有期間
TimePosition
and
會員
Entity
and
Entity
例
Entity
and
Human
持有期間
TimePosition
and
attribute
Entity
and
軍人
(=>
(
and
(
instance
?ORG
Organization
)
(
member
?AGENT ?ORG))
(
instance
?AGENT
AutonomousAgent
))
Merge.kif 16653-16657
例
Collection
and
Organization
會員
Physical
and
Collection
例
Physical
and
AutonomousAgent
(=>
(
and
(
instance
?ORG
OrganizationOfNations
)
(
member
?MEM ?ORG))
(
instance
?MEM
Nation
))
Government.kif 2531-2535
例
Collection
and
國際組織
會員
Physical
and
Collection
例
Physical
and
Nation
(=>
(
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
?PROFILE
VisitorProfile
)
(
member
?FORMULA ?PROFILE))
(
instance
?FORMULA
Formula
))
UXExperimentalTerms.kif 1134-1138
例
Collection
and
VisitorProfile
會員
Physical
and
Collection
例
Physical
and
Formula
(=>
(
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
(=>
(
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
例
Collection
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
Selling
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
_SALE_AMOUNT
total
價值在
卡帕
SymbolicString
and
例
entity
and
Selling
會員
entity
and
Collection
SymbolicString
是
entity
的
transaction
總額 是
entity
_SALE_AMOUNT
等於
Collection
的
value
and
entity
_SALE_AMOUNT
(=>
(
and
(
instance
?SELLINGS
Collection
)
(
instance
?GMV
CurrencyMeasure
)
(
instance
?TOTAL
RealNumber
)
(
equal
?GMV
(
GMVFn
?SELLINGS))
(
equal
?TOTAL
(
CardinalityFn
(
KappaFn
?ITEM
(
and
(
instance
?ITEM
Object
)
(
exists
(?SELLING)
(
and
(
member
?SELLING ?SELLINGS)
(
patient
?SELLING ?ITEM))))))))
(
equal
(
ASPFn
?SELLINGS)
(
DivisionFn
?GMV ?TOTAL)))
UXExperimentalTerms.kif 3282-3302
例
Collection
and
Collection
例
RealNumber
and
CurrencyMeasure
例
Integer
and
RealNumber
等於
RealNumber
and
Collection
的
value
等於
Integer
and
基數
卡帕
SymbolicString
and
例
SymbolicString
and
Object
entity
會員
entity
and
Collection
患者
entity
and
SymbolicString
等於
Collection
的
average
selling
price
and
部
RealNumber
and
Integer
(=>
(
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
and
船
例
GeopoliticalArea
and
GeopoliticalArea
會員
AutonomousAgent
and
GeopoliticalArea
的
merchant
海洋
Object
例
Object
and
船舶登記
擁有
AutonomousAgent
and
Object
包含內容實例
GeopoliticalArea
的
ship
註冊 and
Object
(=>
(
and
(
instance
?STORE
WebStore
)
(
member
?PAGE ?STORE))
(
instance
?PAGE
WebPage
))
UXExperimentalTerms.kif 2141-2145
例
Collection
and
WebStore
會員
Physical
and
Collection
例
Physical
and
WebPage
(=>
(
and
(
instance
?SUIT
ClothingSuit
)
(
member
?ITEM1 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5305-5313
例
Collection
and
服裝套裝
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
Physical
會員
Physical
and
Collection
持有期間
TimePosition
and
穿
entity
and
Physical
(=>
(
and
(
instance
?TEST
MultivariateTest
)
(
member
?EXPERIMENT ?TEST))
(
instance
?EXPERIMENT
Experimenting
))
UXExperimentalTerms.kif 4495-4499
例
Collection
and
MultivariateTest
會員
Physical
and
Collection
例
Physical
and
試驗
(=>
(
and
(
instance
?TO
TerroristOrganization
)
(
member
?PERSON ?TO))
(
attribute
?PERSON
Terrorist
))
MilitaryProcesses.kif 2151-2155
例
Collection
and
恐怖組織
會員
Object
and
Collection
attribute
Object
and
恐怖分子
(=>
(
and
(
instance
?UNIT
SocialUnit
)
(
holdsDuring
?T1
(
and
(
member
?UNIT ?H1)
(
member
?UNIT ?H2))))
(
holdsDuring
?T1
(
cohabitant
?H1 ?H2)))
Mid-level-ontology.kif 22997-23005
例
Entity
and
社會單位
持有期間
TimePosition
and
會員
Entity
and
entity
會員
Entity
and
entity
持有期間
TimePosition
and
entity
是
entity
的
cohabitant
(=>
(
and
(
instance
?UW
UnconventionalWarfare
)
(
agent
?UW ?AGENT)
(
not
(
equal
?AGENT ?POPULACE))
(
not
(
equal
?AGENT
(
GovernmentFn
?NATION)))
(
patient
?UW ?POPULACE)
(
or
(
member
?POPULACE
(
ResidentFn
?NATION))
(
subCollection
?POPULACE
(
ResidentFn
?NATION))))
(
exists
(?CONTEST)
(
and
(
instance
?CONTEST
Contest
)
(
agent
?CONTEST ?POPULACE)
(
agent
?CONTEST
(
GovernmentFn
?NATION)))))
MilitaryProcesses.kif 163-183
例
Process
and
非常規戰爭
agent
Process
and
Government
等於
Government
and
AutonomousAgent
等於
Government
and
政府
GeopoliticalArea
患者
Process
and
AutonomousAgent
會員
AutonomousAgent
and
GeopoliticalArea
的
resident
子集合
AutonomousAgent
and
GeopoliticalArea
的
resident
Process
例
Process
and
Contest
agent
Process
and
AutonomousAgent
agent
Process
and
政府
GeopoliticalArea
(=>
(
and
(
instance
?V
Vertebrate
)
(
instance
?H
Head
)
(
part
?H ?V)
(
instance
?S
Skull
)
(
attribute
?V
Healthy
)
(
member
?B ?S)
(
part
?B ?V))
(
part
?B ?H))
Mid-level-ontology.kif 11498-11507
例
Object
and
Vertebrate
例
Object
and
頭
部分
Object
and
Object
例
Collection
and
頭骨
attribute
Object
and
Healthy
會員
Object
and
Collection
部分
Object
and
Object
部分
Object
and
Object
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?COLL
Collection
)
(
forall
(?EXPERIMENT ?EVENT)
(=>
(
exists
(?CLASS)
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?EVENT
Process
)
(
member
?EVENT
(
QualifyingEventsFn
?EXPERIMENT))
(
instance
?EVENT ?CLASS)
(
capability
?CLASS
experiencer
?VISITOR)))
(
member
?EVENT ?COLL)))
(=>
(
member
?PROC ?COLL)
(
and
(
instance
?PROC
Process
)
(
exists
(?EXP ?PROCESS)
(
and
(
instance
?EXP
Experimenting
)
(
member
?PROC
(
QualifyingEventsFn
?EXP))
(
instance
?PROC ?PROCESS)
(
capability
?PROCESS
experiencer
?VISITOR))))))
(
equal
(
QualifiedTreatmentsFn
?VISITOR) ?COLL))
UXExperimentalTerms.kif 4241-4267
例
Human
and
Human
例
Collection
and
Collection
試驗
Physical
Process
例
試驗
and
試驗
例
Physical
and
Process
會員
Physical
and
events
在
試驗
例
Physical
and
Process
能力
Process
,
體驗者
and
Human
會員
Physical
and
Collection
會員
Physical
and
Collection
例
Physical
and
Process
試驗
Physical
ESS
例
試驗
and
試驗
會員
Physical
and
events
在
試驗
例
Physical
and
Physical
ESS
能力
Physical
ESS,
體驗者
and
Human
等於
所有流程
Human
是
qualified
對於 and
Collection
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