Likely
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
工程
は
Spamming
の
instance
では %n
工程
PAM は
工程
の
result
では %n
工程
は
Spam
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
ステートメント
エンティティー
は
工程
PAM を
want
s %n{ない} には
Likely
の
modal
force
が ない %p{ある}
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
工程
は
Speaking
の
instance
では %n
オブジェクト
は
Jaw
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
ステートメント
エンティティー
エンティティー
は
動作
の
instance
では %n
objectTransferred
エンティティー
and
オブジェクト
エンティティー
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
エンティティー
は
PlantStem
の
instance
では %n
エンティティー
は
PlantRoot
の
instance
では %n
ステートメント
エンティティー
は
Above
対
エンティティー
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
時間間隔
は
TimePeriod
の
instance
では %n
時間間隔
の
duration
は
実数
の
MinuteDuration
(s) では %n
実数
は 5.0 より
greater
では %n
エンティティー
は
人[人間]
の
instance
では %n
工程
工程
は
呼吸
の
instance
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
エンティティー
は
工程
の
patient
では %n
ステートメント
エンティティー
エンティティー
は
死
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
時間間隔
は
エンティティー
の
time
の existence に
meet
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
移動
は
Vending
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Currency
の
instance
では
ステートメント
オブジェクト
は
FoodForFn
人[人間]
の
instance
では %n
オブジェクト
は
飲料
の
instance
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
工程
は
激しいコンテスト
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
InjuryCausedFn
工程
は
オブジェクト
の
attribute
では %n
ImpairedBodyPartFn
Airway
は
オブジェクト
の
attribute
では %n
ステートメント
工程
は
燃焼
の
subclass
では %n
エンティティー
エンティティー
は
けが
の
instance
では %n
エンティティー
は
エンティティー
に
located
して %n
エンティティー
は
Face
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?W
Weeping
)
(
experiencer
?W ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?W)
(
attribute
?A
Sadness
))
Likely
))
emotion.kif 1602-1610
工程
は
Weeping
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
ステートメント
Sadness
は
AutonomousAgent
の
attribute
では %n は
工程
の
time
の existence の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
工程
は
Weightlifting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
AnaerobicExerciseDevice
の
instance
では %n
エンティティー
は
工程
の
instrument
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
オブジェクト
は
Buffet
の
instance
では %n
Breakfast
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
は
オブジェクト
の
member
では %n
Breakfast
は
エンティティー
の
attribute
では %n
には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Breakfast
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
BreakfastTime
)))
Likely
))
Food.kif 1706-1716
オブジェクト
は
Meal
の
instance
では %n
Breakfast
は
オブジェクト
の
attribute
では %n
工程
は
摂食
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
ステートメント
エンティティー
工程
の
time
の existence は
エンティティー
の
during
に takes %n{ない}
エンティティー
は
BreakfastTime
の
instance
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Dinner
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
DinnerTime
)))
Likely
))
Food.kif 1793-1803
オブジェクト
は
Meal
の
instance
では %n
Dinner
は
オブジェクト
の
attribute
では %n
工程
は
摂食
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
ステートメント
エンティティー
工程
の
time
の existence は
エンティティー
の
during
に takes %n{ない}
エンティティー
は
DinnerTime
の
instance
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Lunch
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
LunchTime
)))
Likely
))
Food.kif 1776-1786
オブジェクト
は
Meal
の
instance
では %n
Lunch
は
オブジェクト
の
attribute
では %n
工程
は
摂食
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
ステートメント
エンティティー
工程
の
time
の existence は
エンティティー
の
during
に takes %n{ない}
エンティティー
は
LunchTime
の
instance
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
Concussion
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
hold ない
Concussion
は
エンティティー
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
に
meet
s %n{ない}
ステートメント
無意識
は
エンティティー
の
attribute
では %n は
時間間隔
の
beginning
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
publishedPrice
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validFor
PricingScheme
and
AutonomousAgent
エンティティー
は
AutonomousAgent
の
instance
では %n
ステートメント
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
は
認識エージェント
から
originate
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
には
Likely
の
modal
force
が ある
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
publishedPrice
エンティティー
,
通貨測定
,
認識エージェント
and
PricingScheme
unitPrice
エンティティー
,
関数量
,
認識エージェント
and
PricingScheme
エンティティー
は
物理
の
subclass
では %n
エンティティー
は
エンティティー
の
immediate
の インスタンス では %n
validityPeriod
PricingScheme
and
時間間隔
ステートメント
エンティティー
は
販売
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
transactionAmount
エンティティー
and
通貨測定
には
Likely
の
modal
force
が ある は
時間間隔
の
during
holds %n{ない}
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
productPrice
エンティティー
,
実数
の
測定単位
(s) and
認識エージェント
測定単位
は
UnitOfCurrency
の
instance
では %n
publishedPrice
エンティティー
,
実数
の
測定単位
(s),
認識エージェント
and
PricingScheme
validFor
PricingScheme
and
AutonomousAgent
エンティティー
は
エンティティー
の
instance
では %n
工程
は
購買
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
immediate
の インスタンス では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
認識エージェント
から
originate
s %n{ない}
実数
は
実数
より
less
では %n
ステートメント
transactionAmount
工程
and
実数
には
Likely
の
modal
force
が ある
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
reservationStart
時点
and
Reservation
reservationEnd
時点
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
ステートメント
エンティティー
エンティティー
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} は
時点
と
時点
の
interval
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
reservedPackage
Reservation
and
命題
reservingEntity
Reservation
and
Reservation
ステートメント
エンティティー
エンティティー
は
命題
の内容を
express
es %n{ない}
Reservation
が
エンティティー
を
experience
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
reservedRoom
?RESERVE ?ROOMTYPE)
(
reservationStart
?RESERVE ?TIME1)
(
reservationEnd
?RESERVE ?TIME2)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?X)
(
and
(
instance
?X ?ROOMTYPE)
(
stays
?CUST ?X))))
Likely
))
Hotel.kif 2951-2963
reservedRoom
HotelReservation
and
HotelUnit
reservationStart
HotelReservation
and
Reservation
reservationEnd
HotelReservation
and
Reservation
reservingEntity
HotelReservation
and
Reservation
ステートメント
エンティティー
エンティティー
は
HotelUnit
の
instance
では %n
stays
Reservation
and
エンティティー
は
Reservation
と
Reservation
の
interval
の
during
holds %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
roastedToTemperature
?B ?T)
(
instance
?B
CoffeeBean
)
(
instance
?T
RealNumber
))
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
DryRoasting
)
(
patient
?R ?B)))
Likely
))
Food.kif 479-488
roastedToTemperature
Food
and
実数
Food
は
CoffeeBean
の
instance
では %n
実数
は
実数
の
instance
では %n
ステートメント
エンティティー
エンティティー
は
DryRoasting
の
instance
では %n
Food
は
エンティティー
の
patient
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
クラス
は
《医》組織
の
subclass
では %n
クラス
は
《医》組織
の
subclass
では %n
オブジェクト
は
クラス
の
instance
では %n
オブジェクト
は
クラス
の
instance
では %n
オブジェクト
は
人[人間]
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
クラス
は
クラス
と
equal
では
クラス
は
クラス
の
subclass
では
クラス
は
クラス
の
subclass
では
オブジェクト
は
Adjacent
対
オブジェクト
では %n
ステートメント
エンティティー
エンティティー
は
ConnectiveTissue
の
instance
では %n
エンティティー
は
オブジェクト
と
オブジェクト
の
between
では %n には
Likely
の
modal
force
が ある
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
watchingListings
AutonomousAgent
,
コレクション
and
WebSite
工程
は
WebListing
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
コレクション
の
member
では %n
ステートメント
AutonomousAgent
が
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n を
desire
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
workLocation
?O ?S)
(
member
?P ?O)
(
instance
?W
Working
)
(
agent
?W ?P))
(
modalAttribute
(
located
?W ?S)
Likely
))
Mid-level-ontology.kif 20535-20543
workLocation
組織
and
固定アーチファクト
AutonomousAgent
は
組織
の
member
では %n
工程
は
Working
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
工程
は
固定アーチファクト
に
located
して %n には
Likely
の
modal
force
が ある
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29841-29845
approximateValue
実数
and
実数
ステートメント
実数
は
実数
と
equal
では %n には
Likely
の
modal
force
が ある
(=>
(
attribute
?H
Pyelonephritis
)
(
modalAttribute
(
exists
(?B ?K)
(
and
(
instance
?B
Bacterium
)
(
instance
?K
Kidney
)
(
part
?K ?H)
(
located
?B ?K)))
Likely
))
Medicine.kif 5065-5074
Pyelonephritis
は
オブジェクト
の
attribute
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
細菌
の
instance
では %n
エンティティー
は
Kidney
の
instance
では %n
エンティティー
は
オブジェクト
の
part
では %n
エンティティー
は
エンティティー
に
located
して %n には
Likely
の
modal
force
が ある
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