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
物理
は
Bus
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
コレクション
の
instance
では %n
エンティティー
は
交通手段
の
instance
では %n
memberCount
エンティティー
and
エンティティー
エンティティー
は 11 より
greater
では %n
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は
エンティティー
の
patient
では %n
の 目的 %n{ない}
(=>
(
instance
?BF
BowlingFacility
)
(
exists
(?BL)
(
and
(
instance
?BL
Collection
)
(
memberType
?BL
BowlingLane
)
(
located
?BL ?BF))))
Sports.kif 1162-1168
オブジェクト
は
BowlingFacility
の
instance
では %n
コレクション
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
BowlingLane
コレクション
は
オブジェクト
に
located
して %n
(=>
(
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
移動
は
Drizzling
の
instance
では %n
コレクション
自己接続オブジェクト
and
実数
コレクション
は
コレクション
の
instance
では %n
自己接続オブジェクト
は
水
の
instance
では %n
自己接続オブジェクト
は
LiquidDrop
の
instance
では %n
自己接続オブジェクト
は
コレクション
の
member
では %n
objectTransferred
移動
and
コレクション
approximateDiameter
自己接続オブジェクト
and
実数
の
Millimeter
(s) ステートメント
実数
は 0.5 より
less
または同等 では %n には
Likely
の
modal
force
が ある
(=>
(
instance
?DROP
Raindrop
)
(
exists
(?RAIN)
(
and
(
instance
?RAIN
Rain
)
(
instance
?RAIN
Collection
)
(
member
?DROP ?RAIN))))
Weather.kif 2981-2987
物理
は
Raindrop
の
instance
では %n
コレクション
コレクション
は
Rain
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
物理
は
コレクション
の
member
では %n
(=>
(
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
時間位置
は
EspressoMaking
の
instance
では %n
エンティティー
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
加熱
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
measure
は
エンティティー
の
Liter
(s) では %n
approximateValue
エンティティー
and 0.03
エンティティー
の
measure
は
エンティティー
の
CelsiusDegree
(s) では %n
approximateValue
エンティティー
and 90 は
エンティティー
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
LiquidMotion
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
measure
は
エンティティー
の 1 の
thousand
Pascal
s(s) では %n
approximateValue
エンティティー
and 900 は
エンティティー
の
during
holds %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
コレクション
の
instance
では %n
エンティティー
の
measure
は
エンティティー
の
Gram
(s) では %n
approximateValue
エンティティー
and 7.5
エンティティー
は
エンティティー
の
member
では %n
エンティティー
は
CoffeeGrind
の
instance
では %n
FineGrind
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
Filter
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
time
の existence の
end
は
エンティティー
の
time
の existence の
end
と
エンティティー
の
time
の existence の
end
の
between
に %n は
時間位置
の
during
holds %n{ない}
(=>
(
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
Experimenting
は
Experimenting
の
instance
では %n
エンティティー
_EVENTS
エンティティー
_EVENTS は
コレクション
の
instance
では %n
工程
工程
は
工程
の
instance
では %n
experimentalControlProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
工程
は
エンティティー
_EVENTS の
member
では %n
QualifyingEventsFn
Experimenting
は
エンティティー
_EVENTS と
equal
では %n
(=>
(
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
Experimenting
は
Experimenting
の
instance
では %n
エンティティー
_USERS
エンティティー
_USERS は
コレクション
の
instance
では %n
人[人間]
人[人間]
は
人[人間]
の
instance
では %n
treatedUser
人[人間]
and
Experimenting
人[人間]
は
エンティティー
_USERS の
member
では %n
TreatedUsersFn
Experimenting
は
エンティティー
_USERS と
equal
では %n
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
エンティティー
は
LargeGroupProcess
の
instance
では %n
コレクション
物理
コレクション
は
コレクション
の
instance
では %n
物理
は
コレクション
の
member
では %n
memberType
コレクション
and
AutonomousAgent
(=>
(
instance
?P
Polymer
)
(
exists
(?COLL ?M)
(
and
(
equal
?P ?COLL)
(
instance
?COLL
Collection
)
(
member
?M ?COLL)
(
instance
?M
Monomer
))))
VirusProteinAndCellPart.kif 72-79
エンティティー
は
Polymer
の
instance
では %n
コレクション
物理
エンティティー
は
コレクション
と
equal
では %n
コレクション
は
コレクション
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
Monomer
の
instance
では %n
(=>
(
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
移動
は
Sleeting
の
instance
では %n
コレクション
物理
,
物理
and
工程
コレクション
は
コレクション
の
instance
では %n
objectTransferred
移動
and
コレクション
物理
は
Raindrop
の
instance
では %n
物理
は
Snowflake
の
instance
では %n
物理
は
コレクション
の
member
では %n
物理
は
コレクション
の
member
では %n
工程
は
溶融
の
instance
では %n
工程
は
移動
% の
subprocess
では %n
物理
は
工程
の
patient
では %n
(=>
(
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
エンティティー
は
Raining
の
instance
では %n
エンティティー
エンティティー
and
クラス
エンティティー
は
コレクション
の
instance
では %n
エンティティー
は
水
の
instance
では %n
エンティティー
は
LiquidDrop
の
instance
では %n
エンティティー
は
クラス
の
instance
では %n
(=>
(
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
オブジェクト
は
SelfServiceLaundry
の
instance
では %n
コレクション
コレクション
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
ClothesWashingMachine
コレクション
は
オブジェクト
に
located
して %n
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
ClothesDryer
コレクション
は
オブジェクト
に
located
して %n
(=>
(
instance
?S
Snowflake
)
(
exists
(?SNOW)
(
and
(
instance
?SNOW
Snow
)
(
instance
?SNOW
Collection
)
(
member
?S ?SNOW))))
Weather.kif 3013-3019
物理
は
Snowflake
の
instance
では %n
物理
NOW
物理
NOW は
Snow
の
instance
では %n
物理
NOW は
コレクション
の
instance
では %n
物理
は
物理
NOW の
member
では %n
(=>
(
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
移動
は
Snowing
の
instance
では %n
コレクション
オブジェクト
コレクション
は
コレクション
の
instance
では %n
オブジェクト
は
Ice
の
instance
では %n
MonoCrystalline
は
オブジェクト
の
attribute
では %n
オブジェクト
は
コレクション
の
member
では %n
objectTransferred
移動
and
コレクション
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?PROCESS ?CLTN)
(
and
(
instance
?PROCESS
Hailing
)
(
instance
?CLTN
Collection
)
(
objectTransferred
?PROCESS ?CLTN)
(
member
?STUFF ?CLTN))))
Weather.kif 3074-3081
物理
は
Hailstone
の
instance
では %n
移動
コレクション
移動
は
Hailing
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
objectTransferred
移動
and
コレクション
物理
は
コレクション
の
member
では %n
(=>
(
instance
?X
Chromotin
)
(
exists
(?COLL ?N)
(
and
(
instance
?COLL
Collection
)
(
located
?COLL ?X)
(
member
?COLL ?N)
(
instance
?N
Nucleosome
))))
VirusProteinAndCellPart.kif 610-617
オブジェクト
は
Chromotin
の
instance
では %n
物理
コレクション
物理
は
コレクション
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
物理
は
コレクション
の
member
では %n
コレクション
は
Nucleosome
の
instance
では %n
(=>
(
instance
?X
ElectricalOutlet
)
(
exists
(?HOLE)
(
and
(
instance
?HOLE
Collection
)
(
memberType
?HOLE
HoleRegion
)
(
part
?HOLE ?X))))
Mid-level-ontology.kif 25911-25917
オブジェクト
は
ElectricalOutlet
の
instance
では %n
コレクション
コレクション
は
コレクション
の
instance
では %n
memberType
コレクション
and
HoleRegion
コレクション
は
オブジェクト
の
part
では %n
(=>
(
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
物理
は
ElectricalOutlet
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
PowerSource
の
instance
では %n
エンティティー
は
コレクション
の
instance
では %n
memberType
エンティティー
and
WireLine
エンティティー
は
物理
と
エンティティー
に
connect
s して %n{ない} の 目的 %n{ない}
(=>
(
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
オブジェクト
は
HighRise
の
instance
では %n
コレクション
整数
コレクション
は
コレクション
の
instance
では %n
オブジェクト
オブジェクト
は
BuildingLevel
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
コレクション
の
member
では %n
memberCount
コレクション
and
整数
整数
は 10
greater
では %n
(=>
(
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
工程
コレクション
and
オブジェクト
工程
は
CoffeeMaking
の
instance
では %n
コレクション
は
工程
の
patient
では %n
コレクション
は
コレクション
の
instance
では %n
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
CoffeeGrind
の
instance
では %n
CoffeeGrindAttribute
は
オブジェクト
の
attribute
では %n
(=>
(
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
rainfallIntensity
地理的地域
,
時間間隔
and
関数量
移動
コレクション
,
物理
,
自己接続オブジェクト
,
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
は
Raining
の
instance
では %n
eventLocated
移動
and
地理的地域
移動
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
コレクション
は
コレクション
の
instance
では %n
objectTransferred
移動
and
コレクション
物理
は
水
の
instance
では %n
物理
は
コレクション
の
member
では %n
自己接続オブジェクト
は
Container
の
instance
では %n
自己接続オブジェクト
の
bottom
は
自己接続オブジェクト
では %n
Flat
は
自己接続オブジェクト
の
attribute
では %n
自己接続オブジェクト
は
地理的地域
に
located
して %n
ContainerEmpty
は
自己接続オブジェクト
の
attribute
では %n は
時間間隔
の
beginning
の
during
holds %n{ない}
コレクション
は
自己接続オブジェクト
に
located
して %n
コレクション
の
top
は
エンティティー
では
depth
エンティティー
,
自己接続オブジェクト
and
移動
FALL
移動
FALL は
時間間隔
+
関数量
と
equal
では %n は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
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
siteCatalog
Database
and
WebSite
オブジェクト
コレクション
and
記号文字列
コレクション
は
コレクション
の
instance
では %n
オブジェクト
は
Database
の
part
では %n
オブジェクト
は
コレクション
を
express
es %n{ない}
オブジェクト
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
物理
の
instance
では %n
オブジェクト
は
記号文字列
で記述される
class
を
patient
として行う
capable
では %n
(=>
(
subBrand
?BRAND1 ?BRAND2)
(
exists
(?COLL ?OBJ)
(
and
(
instance
?COLL
Collection
)
(
represents
?BRAND1 ?COLL)
(
member
?OBJ ?COLL)
(
represents
?BRAND2 ?OBJ))))
Hotel.kif 1335-1342
subBrand
エンティティー
and
エンティティー
コレクション
物理
コレクション
は
コレクション
の
instance
では %n
エンティティー
は
コレクション
を
express
es %n{ない}
物理
は
コレクション
の
member
では %n
エンティティー
は
物理
を
express
es %n{ない}
(=>
(
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
tTest
エンティティー
_COLL1,
エンティティー
_COLL2 and
実数
コレクション
コレクション
and
Experimenting
コレクション
は
コレクション
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
statisticalPopulation
エンティティー
_COLL1,
コレクション
and
Experimenting
statisticalPopulation
エンティティー
_COLL2,
コレクション
and
Experimenting
実数
は
コレクション
は
コレクション
と
equal
では %n の
probability
と
equal
では %n
(=>
(
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
userDatabase
Database
and
WebSite
オブジェクト
コレクション
コレクション
は
コレクション
の
instance
では %n
オブジェクト
は
Database
の
part
では %n
オブジェクト
は
コレクション
を
express
es %n{ない}
物理
物理
は
コレクション
の
member
では %n
物理
は
AutonomousAgent
の
instance
では %n
工程
微粒子オブジェクト
工程
は
AccessingWebPage
の
instance
では %n
微粒子オブジェクト
は
WebPage
の
instance
では %n
Page
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
微粒子オブジェクト
は
WebSite
の
component
では %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