Collection
(=>
(
instance
?B
Bus
)
(
hasPurpose
?B
(
exists
(?C ?T ?N ?P)
(
and
(
instance
?C
Collection
)
(
instance
?T
Transportation
)
(
memberCount
?C ?N)
(
greaterThan
?N 11)
(=>
(
member
?P ?C)
(
patient
?T ?P))))))
Transportation.kif 1972-1983
例
Physical
and
總線
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
Collection
例
entity
and
Transportation
entity
是
entity
的
member
計數
比較多
entity
and 11
會員
entity
and
entity
患者
entity
and
entity
(=>
(
instance
?BF
BowlingFacility
)
(
exists
(?BL)
(
and
(
instance
?BL
Collection
)
(
memberType
?BL
BowlingLane
)
(
located
?BL ?BF))))
Sports.kif 1162-1168
例
Object
and
BowlingFacility
Collection
例
Collection
and
Collection
BowlingLane
是
Collection
的
member
類別
位於
Collection
and
Object
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2803-2815
例
Transfer
and
Drizzling
Collection
SelfConnectedObject
and
RealNumber
例
Collection
and
Collection
例
SelfConnectedObject
and
Water
例
SelfConnectedObject
and
LiquidDrop
會員
SelfConnectedObject
and
Collection
objectTransferred
Transfer
and
Collection
SelfConnectedObject
的
approximate
diameter
是
測量
RealNumber
and
毫米
模態屬性
小於或等於
RealNumber
and 0.5 and
容易
(=>
(
instance
?DROP
Raindrop
)
(
exists
(?RAIN)
(
and
(
instance
?RAIN
Rain
)
(
instance
?RAIN
Collection
)
(
member
?DROP ?RAIN))))
Weather.kif 2981-2987
例
Physical
and
Raindrop
Collection
例
Collection
and
Rain
例
Collection
and
Collection
會員
Physical
and
Collection
(=>
(
instance
?EM
EspressoMaking
)
(
holdsDuring
?EM
(
exists
(?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R)
(
and
(
instance
?H
Heating
)
(
patient
?H ?W)
(
measure
?W
(
MeasureFn
?V
Liter
))
(
approximateValue
?V 0.03)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
and
(
measure
?W
(
MeasureFn
?T
CelsiusDegree
))
(
approximateValue
?T 90)))
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?W)
(
holdsDuring
?LM
(
and
(
measure
?W
(
MeasureFn
?P
(
KiloFn
Pascal
)))
(
approximateValue
?P 900)))
(
destination
?LM ?COLL)
(
instance
?COLL
Collection
)
(
measure
?COLL
(
MeasureFn
?K
Gram
))
(
approximateValue
?K 7.5)
(
member
?COLL ?CG)
(
instance
?CG
CoffeeGrind
)
(
attribute
?CG
FineGrind
)
(
located
?COLL ?F)
(
instance
?F
Filter
)
(
instance
?R
Removing
)
(
instrument
?R ?F)
(
patient
?R ?COLL)
(
temporallyBetween
(
EndFn
(
WhenFn
?H))
(
EndFn
(
WhenFn
?LM))
(
EndFn
(
WhenFn
?R)))))))
Food.kif 799-834
例
TimePosition
and
EspressoMaking
持有期間
TimePosition
and
entity
entity
,
entity
,
entity
,
entity
,
entity
,
entity
,
entity
,
entity
,
entity
and
entity
例
entity
and
Heating
患者
entity
and
entity
測量
entity
and
測量
entity
and
升
approximateValue
entity
and 0.03
持有期間
結束
何時
entity
and
測量
entity
and
測量
entity
and
攝氏度
approximateValue
entity
and 90
例
entity
and
液體運動
患者
entity
and
entity
持有期間
entity
and
測量
entity
and
測量
entity
and
千
帕斯卡
approximateValue
entity
and 900
目的地
entity
and
entity
例
entity
and
Collection
測量
entity
and
測量
entity
and
公克
approximateValue
entity
and 7.5
會員
entity
and
entity
例
entity
and
CoffeeGrind
attribute
entity
and
FineGrind
位於
entity
and
entity
例
entity
and
過濾
例
entity
and
Removing
儀器
entity
and
entity
患者
entity
and
entity
一時之間
結束
何時
entity
,
結束
何時
entity
and
結束
何時
entity
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?QUALIFYING_EVENTS)
(
and
(
instance
?QUALIFYING_EVENTS
Collection
)
(
forall
(?EVENT)
(=>
(
and
(
instance
?EVENT
Process
)
(
or
(
experimentalControlProcess
?EXPERIMENT ?EVENT)
(
experimentalVariableProcess
?EXPERIMENT ?EVENT)))
(
member
?EVENT ?QUALIFYING_EVENTS)))
(
equal
(
QualifyingEventsFn
?EXPERIMENT) ?QUALIFYING_EVENTS))))
UXExperimentalTerms.kif 4208-4223
例
試驗
and
試驗
entity
_EVENTS
例
entity
_EVENTS and
Collection
Process
例
Process
and
Process
control
在實驗
試驗
是
Process
Process
在
試驗
的
process
會員
Process
and
entity
_EVENTS
等於
events
在
試驗
and
entity
_EVENTS
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?TREATED_USERS)
(
and
(
instance
?TREATED_USERS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
treatedUser
?USER ?EXPERIMENT))
(
member
?USER ?TREATED_USERS)))
(
equal
(
TreatedUsersFn
?EXPERIMENT) ?TREATED_USERS))))
UXExperimentalTerms.kif 4281-4293
例
試驗
and
試驗
entity
_USERS
例
entity
_USERS and
Collection
Human
例
Human
and
Human
Human
是個
treated
used
在
試驗
會員
Human
and
entity
_USERS
等於
treated
users
在
試驗
and
entity
_USERS
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
例
Entity
and
LargeGroupProcess
Collection
Physical
例
Collection
and
Collection
會員
Physical
and
Collection
AutonomousAgent
是
Collection
的
member
類別
(=>
(
instance
?P
Polymer
)
(
exists
(?COLL ?M)
(
and
(
equal
?P ?COLL)
(
instance
?COLL
Collection
)
(
member
?M ?COLL)
(
instance
?M
Monomer
))))
VirusProteinAndCellPart.kif 72-79
例
Entity
and
Polymer
Collection
Physical
等於
Entity
and
Collection
例
Collection
and
Collection
會員
Physical
and
Collection
例
Physical
and
Monomer
(=>
(
instance
?PROCESS
Sleeting
)
(
exists
(?STUFF ?R ?S ?MELT)
(
and
(
instance
?STUFF
Collection
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?R
Raindrop
)
(
instance
?S
Snowflake
)
(
member
?R ?STUFF)
(
member
?S ?STUFF)
(
instance
?MELT
Melting
)
(
subProcess
?MELT ?PROCESS)
(
patient
?MELT ?S))))
Weather.kif 1158-1170
例
Transfer
and
雨雪
Collection
Physical
,
Physical
and
Process
例
Collection
and
Collection
objectTransferred
Transfer
and
Collection
例
Physical
and
Raindrop
例
Physical
and
Snowflake
會員
Physical
and
Collection
會員
Physical
and
Collection
例
Process
and
Melting
子過程
Process
and
Transfer
患者
Process
and
Physical
(=>
(
instance
?RAIN
Raining
)
(
exists
(?CLTN ?R ?CLASS)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
instance
?R ?CLASS
(
member
?R ?CLTN)
(
objectTransferred
?RAIN ?CLTN)
(
defaultMinimumSphereRadius
?CLASS
(
MeasureFn
0.1
Millimeter
))
(
defaultMaximumSphereRadius
?CLASS
(
MeasureFn
9.0
Millimeter
))))))
Weather.kif 1057-1070
例
Entity
and
下雨
Entity
Entity
and
Class
例
Entity
and
Collection
例
Entity
and
Water
例
Entity
and
LiquidDrop
例
Entity
,
Class
,
會員
Entity
and
Entity
,
objectTransferred
Entity
and
Entity
,
Class
的
minimum
預期半徑是
測量
0.1 and
毫米
and
Class
的
maximum
預期半徑是
測量
9.0 and
毫米
(=>
(
instance
?ROOM
SelfServiceLaundry
)
(
exists
(?WASHER ?DRYER)
(
and
(
instance
?WASHER
Collection
)
(
memberType
?WASHER
ClothesWashingMachine
)
(
located
?WASHER ?ROOM)
(
instance
?DRYER
Collection
)
(
memberType
?DRYER
ClothesDryer
)
(
located
?DRYER ?ROOM))))
Mid-level-ontology.kif 25402-25411
例
Object
and
SelfServiceLaundry
Collection
Collection
例
Collection
and
Collection
洗衣機
是
Collection
的
member
類別
位於
Collection
and
Object
例
Collection
and
Collection
乾衣機
是
Collection
的
member
類別
位於
Collection
and
Object
(=>
(
instance
?S
Snowflake
)
(
exists
(?SNOW)
(
and
(
instance
?SNOW
Snow
)
(
instance
?SNOW
Collection
)
(
member
?S ?SNOW))))
Weather.kif 3013-3019
例
Physical
and
Snowflake
Physical
NOW
例
Physical
NOW and
Snow
例
Physical
NOW and
Collection
會員
Physical
and
Physical
NOW
(=>
(
instance
?SNOW
Snowing
)
(
exists
(?CLTN ?I)
(
and
(
instance
?CLTN
Collection
)
(
instance
?I
Ice
)
(
attribute
?I
MonoCrystalline
)
(
member
?I ?CLTN)
(
objectTransferred
?SNOW ?CLTN))))
Weather.kif 1141-1149
例
Transfer
and
下雪
Collection
Object
例
Collection
and
Collection
例
Object
and
冰
attribute
Object
and
MonoCrystalline
會員
Object
and
Collection
objectTransferred
Transfer
and
Collection
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?PROCESS ?CLTN)
(
and
(
instance
?PROCESS
Hailing
)
(
instance
?CLTN
Collection
)
(
objectTransferred
?PROCESS ?CLTN)
(
member
?STUFF ?CLTN))))
Weather.kif 3074-3081
例
Physical
and
Hailstone
Transfer
Collection
例
Transfer
and
下冰雹
例
Collection
and
Collection
objectTransferred
Transfer
and
Collection
會員
Physical
and
Collection
(=>
(
instance
?X
Chromotin
)
(
exists
(?COLL ?N)
(
and
(
instance
?COLL
Collection
)
(
located
?COLL ?X)
(
member
?COLL ?N)
(
instance
?N
Nucleosome
))))
VirusProteinAndCellPart.kif 610-617
例
Object
and
染色質
Physical
Collection
例
Physical
and
Collection
位於
Physical
and
Object
會員
Physical
and
Collection
例
Collection
and
Nucleosome
(=>
(
instance
?X
ElectricalOutlet
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?X))))
Mid-level-ontology.kif 25911-25917
例
Object
and
ElectricalOutlet
Collection
例
Collection
and
Collection
HoleRegion
是
Collection
的
member
類別
部分
Collection
and
Object
(=>
(
instance
?X
ElectricalOutlet
)
(
hasPurpose
?X
(
exists
(?POWER ?WIRE)
(
and
(
instance
?POWER
PowerSource
)
(
instance
?WIRE
Collection
)
(
memberType
?WIRE
WireLine
)
(
connectsEngineeringComponents
?WIRE ?X ?POWER)))))
Mid-level-ontology.kif 25919-25927
例
Physical
and
ElectricalOutlet
有目的
Physical
and
entity
entity
例
entity
and
能量源
例
entity
and
Collection
電線
是
entity
的
member
類別
連接工程組件
entity
,
Physical
and
entity
(=>
(
instance
?X
HighRise
)
(
exists
(?LEVELS ?NUM)
(
and
(
instance
?LEVELS
Collection
)
(
forall
(?FLR)
(=>
(
and
(
instance
?FLR
BuildingLevel
)
(
part
?FLR ?X))
(
member
?FLR ?LEVELS)))
(
memberCount
?LEVELS ?NUM)
(
greaterThanOrEqualTo
?NUM 10))))
Mid-level-ontology.kif 26508-26520
例
Object
and
HighRise
Collection
Integer
例
Collection
and
Collection
Object
例
Object
and
建設水平
部分
Object
and
Object
會員
Object
and
Collection
Integer
是
Collection
的
member
計數
大於或等於
Integer
and 10
(=>
(
optimalGrindSizeForMakingCoffee
?CLASS ?A)
(
exists
(?CM ?COLL ?C)
(
and
(
instance
?CM ?CLASS)
(
patient
?CM ?COLL)
(
instance
?COLL
Collection
)
(
member
?C ?COLL)
(
instance
?C
CoffeeGrind
)
(
attribute
?C ?A))))
Food.kif 728-737
optimalGrindSizeForMakingCoffee
CoffeeMaking
and
CoffeeGrindAttribute
Process
Collection
and
Object
例
Process
and
CoffeeMaking
患者
Process
and
Collection
例
Collection
and
Collection
會員
Object
and
Collection
例
Object
and
CoffeeGrind
attribute
Object
and
CoffeeGrindAttribute
(=>
(
rainfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(
and
(
instance
?RAIN
Raining
)
(
eventLocated
?RAIN ?AREA)
(
during
(
WhenFn
?RAIN) ?TIME)
(
instance
?CLTN
Collection
)
(
objectTransferred
?RAIN ?CLTN)
(
instance
?R
Water
)
(
member
?R ?CLTN)
(
instance
?BUCKET
Container
)
(
bottom
?BOTTOM ?BUCKET)
(
attribute
?BOTTOM
Flat
)
(
located
?BUCKET ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
attribute
?BUCKET
ContainerEmpty
))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?CLTN ?BUCKET)
(
top
?TOP ?CLTN)
(
depth
?TOP ?BOTTOM ?RAINFALL)
(
equal
?RAINFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 2830-2855
rain
的
rate
在
GeographicArea
期間
TimeInterval
是
FunctionQuantity
Transfer
Collection
,
Physical
,
SelfConnectedObject
,
entity
,
SelfConnectedObject
and
Transfer
FALL
例
Transfer
and
下雨
Transfer
是
located
在
GeographicArea
期間
何時
Transfer
and
TimeInterval
例
Collection
and
Collection
objectTransferred
Transfer
and
Collection
例
Physical
and
Water
會員
Physical
and
Collection
例
SelfConnectedObject
and
容器
底部
SelfConnectedObject
and
SelfConnectedObject
attribute
SelfConnectedObject
and
平面
位於
SelfConnectedObject
and
GeographicArea
持有期間
開始
TimeInterval
and
attribute
SelfConnectedObject
and
空容器
持有期間
結束
TimeInterval
and
位於
Collection
and
SelfConnectedObject
上
entity
and
Collection
對於
SelfConnectedObject
從
entity
的
depth
是
Transfer
FALL
等於
Transfer
FALL and
乘法
TimeInterval
and
FunctionQuantity
(=>
(
siteCatalog
?DATABASE ?WEBSITE)
(
exists
(?PART ?PRODUCTS ?BUYING)
(
and
(
instance
?PRODUCTS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?PRODUCTS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PRODUCTS)
(
and
(
instance
?MEMBER
Physical
)
(
capability
(
KappaFn
?BUYING
(
and
(
instance
?BUYING
Buying
)
(
eCommerceSite
?BUYING ?WEBSITE)))
patient
?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
數據庫
是
catalog
對於
WebSite
Object
Collection
and
SymbolicString
例
Collection
and
Collection
部分
Object
and
數據庫
代表
Object
and
Collection
Object
會員
Object
and
Collection
例
Object
and
Physical
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
WebSite
facilitates
SymbolicString
,
患者
and
Object
(=>
(
subBrand
?BRAND1 ?BRAND2)
(
exists
(?COLL ?OBJ)
(
and
(
instance
?COLL
Collection
)
(
represents
?BRAND1 ?COLL)
(
member
?OBJ ?COLL)
(
represents
?BRAND2 ?OBJ))))
Hotel.kif 1335-1342
Entity
是
Entity
的
sub
-brand
Collection
Physical
例
Collection
and
Collection
代表
Entity
and
Collection
會員
Physical
and
Collection
代表
Entity
and
Physical
(=>
(
tTest
?SAMPLE_COLL1 ?SAMPLE_COLL2 ?PROB)
(
exists
(?POP1 ?POP2 ?EXPERIMENT)
(
and
(
instance
?POP1
Collection
)
(
instance
?POP2
Collection
)
(
statisticalPopulation
?SAMPLE_COLL1 ?POP1 ?EXPERIMENT)
(
statisticalPopulation
?SAMPLE_COLL2 ?POP2 ?EXPERIMENT)
(
equal
?PROB
(
ProbabilityFn
(
equal
?POP1 ?POP2))))))
UXExperimentalTerms.kif 607-617
Entity
_COLL1 和
entity
_COLL2 是在同一部分
statistical
population
的機率 是
RealNumber
Collection
Collection
and
試驗
例
Collection
and
Collection
例
Collection
and
Collection
entity
_COLL1 是
Collection
的
sample
對於
試驗
entity
_COLL2 是
Collection
的
sample
對於
試驗
等於
RealNumber
and
可能性
等於
Collection
and
Collection
(=>
(
userDatabase
?DATABASE ?WEBSITE)
(
exists
(?PART ?USERS)
(
and
(
instance
?USERS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?USERS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?USERS)
(
and
(
instance
?MEMBER
AutonomousAgent
)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING
Page
)
(
agent
?ACCESSING
AutonomousAgent
)
(
component
?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2173-2191
數據庫
是
user
database
對於
WebSite
Object
Collection
例
Collection
and
Collection
部分
Object
and
數據庫
代表
Object
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
AutonomousAgent
Process
CorpuscularObject
例
Process
and
AccessingWebPage
例
CorpuscularObject
and
WebPage
患者
Process
and
頁
agent
Process
and
AutonomousAgent
零件
CorpuscularObject
and
WebSite
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