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
和
那个 过程
PAM 是
那个 过程
的
result
和
那个 过程
是
Spam
的
instance
和
另一个 实体
是
人类
的
instance
和
那个 过程
在
那个 另外 实体
结束,
然后
那个 另外 实体
wants
那个 过程
PAM 的声明 doesn't have
容易
的语气
(=>
(
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
如果
过程
是
说话
的
instance
和
客体
是
Jaw
的
instance
和
施事体
是
那个 过程
的
agent
和
那个 客体
是
那个 施事体
的
part
,
然后 有存在
实体
这样
那个 实体
是
身体运动
的
instance
和
objectTransferred
那个 实体
and
那个 客体
和
那个 实体
出现 的
time
在
那个 过程
出现 的
time
时段内发生 的声明 has
容易
的语气
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
如果
实体
是
PlantStem
的
instance
和
另一个 实体
是
植物根
的
instance
,
然后
那个 实体
在
那个 另外 实体
的
以上
的声明 has
容易
的语气
(=>
(
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
和
那个 时距
的
duration
是
实数
分钟
和
那个 实数
是
greaterThan
5.0 和
实体
是
人类
的
instance
和 不存在
过程
这样
那个 过程
是
呼吸
的
instance
和
那个 过程
出现 的
time
在
那个 时距
时段内发生 和
那个 实体
是
那个 过程
的
patient
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是
死亡
的
instance
和
那个 实体
经历了
那个 另外 实体
和
那个 时距
接着
那个 另外 实体
出现 的
time
的声明 has
容易
的语气
(=>
(
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
和
objectTransferred
那个 转移
and
客体
和
那个 客体
不 是
货币
的
instance
,
然后
那个 客体
是
food
for
人类
的
instance
或
那个 客体
是
饮料
的
instance
的声明 has
容易
的语气
(=>
(
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
和
客体
是
那个 过程
的
patient
和
InjuryCausedFn
另一个 有点 过程
是
那个 客体
的
attribute
和
ImpairedBodyPartFn
空中航线
是
那个 客体
的
attribute
,
然后
另一个 有点 过程
是
燃烧
的
subclass
或 有存在
实体
这样
另一个 实体
是
受伤
的
instance
和
那个 另外 实体
是
located
在
第三 实体
和
那个 第三 实体
是
面对
的
instance
和
那个 客体
是
那个 另外 实体
的
patient
的声明 has
容易
的语气
(=>
(
and
(
instance
?W
Weeping
)
(
experiencer
?W ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?W)
(
attribute
?A
Sadness
))
Likely
))
emotion.kif 1602-1610
如果
过程
是
泣
的
instance
和
施事体
经历了
那个 过程
,
然后
Sadness
是
那个 施事体
的
attribute
在
那个 过程
出现 的
time
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
如果
过程
是
Weightlifting
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
实体
这样
那个 实体
是
无氧运动装置
的
instance
和
那个 实体
是导致
那个 过程
的
instrument
的声明 has
容易
的语气
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
如果
客体
是
Buffet
的
instance
和
Breakfast
是
那个 客体
的
attribute
,
然后 对所有
实体
如果
那个 实体
是
那个 客体
的
member
,
然后
Breakfast
是
那个 实体
的
attribute
的声明 has
容易
的语气
(=>
(
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
和
Breakfast
是
那个 客体
的
attribute
和
过程
是
进食
的
instance
和
那个 客体
是
那个 过程
的
patient
,
然后 有存在
实体
这样
那个 过程
出现 的
time
在
那个 实体
时段内发生 和
那个 实体
是
BreakfastTime
的
instance
的声明 has
容易
的语气
(=>
(
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
和
Dinner
是
那个 客体
的
attribute
和
过程
是
进食
的
instance
和
那个 客体
是
那个 过程
的
patient
,
然后 有存在
实体
这样
那个 过程
出现 的
time
在
那个 实体
时段内发生 和
那个 实体
是
DinnerTime
的
instance
的声明 has
容易
的语气
(=>
(
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
和
Lunch
是
那个 客体
的
attribute
和
过程
是
进食
的
instance
和
那个 客体
是
那个 过程
的
patient
,
然后 有存在
实体
这样
那个 过程
出现 的
time
在
那个 实体
时段内发生 和
那个 实体
是
LunchTime
的
instance
的声明 has
容易
的语气
(=>
(
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
doesn't 在
时距
holdsDuring
和
Concussion
是
那个 实体
的
attribute
在
另一个 时距
holdsDuring
和
那个 时距
接着
那个 另外 时距
,
然后
无意识
是
那个 实体
的
attribute
在
那个 另外 时距
的开始
holdsDuring
的声明 has
容易
的语气
(=>
(
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
如果
有点 实体
的
price
从
有认知的主事
根据
PricingScheme
是
货币测量
或
unit
price
已收费
那个 有认知的主事
在
那个 PricingScheme
底下 对于
函数量
是
有点 实体
和
那个 有点 实体
是
物理
的
subclass
和
另一个 实体
是
那个 有点 实体
的
immediateInstance
和
那个 PricingScheme
是
valid
对于
有点 施事体
和
第三 实体
是
有点 施事体
的
instance
,
然后
如果
第四 实体
是
购买
的
instance
和
那个 第三 实体
是
那个 第四 实体
的
agent
和
那个 有认知的主事
是
那个 第四 实体
的源头 和
那个 另外 实体
是
那个 第四 实体
的
patient
,
然后
那个 货币测量
是
那个 第四 实体
的
transaction
总额
的声明 has
容易
的语气
(=>
(
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
如果
有点 实体
的
price
从
有认知的主事
根据
PricingScheme
是
货币测量
或
unit
price
已收费
那个 有认知的主事
在
那个 PricingScheme
底下 对于
函数量
是
有点 实体
和
那个 有点 实体
是
物理
的
subclass
和
另一个 实体
是
那个 有点 实体
的
immediateInstance
和
那个 PricingScheme
是
valid
during
时距
,
然后
如果
第三 实体
是
出售
的
instance
和
那个 有认知的主事
是
那个 第三 实体
的
agent
和
那个 另外 实体
是
那个 第三 实体
的
patient
,
然后
那个 货币测量
是
那个 第三 实体
的
transaction
总额
的声明 has
容易
的语气 在
那个 时距
holdsDuring
(=>
(
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
如果
有认知的主事
sells
有点 实体
對於
实数
测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
有点 实体
的
price
从
那个 有认知的主事
根据
PricingScheme
是
另一个 实数
那个 测量单位
和
那个 PricingScheme
是
valid
对于
有点 施事体
和
另一个 实体
是
那个 有点 实体
的
instance
和
过程
是
购买
的
instance
和
另一个 施事体
是
有点 施事体
的
immediateInstance
和
那个 另外 施事体
是
那个 过程
的
agent
和
那个 有认知的主事
是
那个 过程
的源头 和
那个 另外 实数
是
lessThan
那个 实数
,
然后
那个 实数
是
那个 过程
的
transaction
总额 的声明 has
容易
的语气
(=>
(
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
如果
Reservation
starts
在
时点
和
那个 Reservation
ends
在
另一个 时点
和
施事体
reserves
那个 Reservation
和
另一个 施事体
fulfills
那个 Reservation
,
然后 有存在
实体
这样
那个 实体
是
有意图过程
的
instance
和
那个 另外 施事体
是
那个 实体
的
agent
和
那个 实体
在
那个 施事体
结束 在
那个 时点
和
那个 另外 时点
间的时段
holdsDuring
的声明 has
容易
的语气
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
如果
Reservation
是 对于
命题
的
reservation
和
那个 Reservation
reserves
另一个 Reservation
,
然后 有存在
实体
这样
那个 实体
表示
那个 命题
的内容 和
那个 另外 Reservation
经历了
那个 实体
的声明 has
容易
的语气
(=>
(
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
如果
HotelReservation
是对于
有点 HotelUnit
的
reservation
和
Reservation
starts
在
那个 HotelReservation
和
另一个 Reservation
ends
在
那个 HotelReservation
和
那个 HotelReservation
reserves
第三 Reservation
,
然后 有存在
实体
这样
那个 实体
是
有点 HotelUnit
的
instance
和
那个 第三 Reservation
stays
在
那个 实体
在
那个 Reservation
和
那个 另外 Reservation
间的时段
holdsDuring
的声明 has
容易
的语气
(=>
(
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
是
咖啡豆
的
instance
和
那个 实数
是
实数
的
instance
,
然后 有存在
实体
这样
那个 实体
是
DryRoasting
的
instance
和
那个 Food
是
那个 实体
的
patient
的声明 has
容易
的语气
(=>
(
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
和
另一个 类
是
身体组织
的
subclass
和
客体
是
那个 类
的
instance
和
另一个 客体
是
那个 另外 类
的
instance
和
第三 客体
是
人类
的
instance
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
是
那个 第三 客体
的
part
和
那个 类
不
equal
那个 另外 类
和
那个 类
不 是
那个 另外 类
的
subclass
和
那个 另外 类
不 是
那个 类
的
subclass
和
那个 客体
在
那个 另外 客体
的
邻
,
然后 有存在
实体
这样
那个 实体
是
ConnectiveTissue
的
instance
和
那个 实体
是在
那个 客体
和
那个 另外 客体
between
的声明 has
容易
的语气
(=>
(
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
如果 使用者
施事体
在
WebSite
是
watching
群体
和
过程
是
WebListing
的
instance
和
实体
是
客体
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
是
那个 群体
的
member
,
然后
那个 施事体
desires
有存在
另一个 实体
这样
那个 另外 实体
是
购买
的
instance
和
那个 实体
是
那个 另外 实体
的
patient
和
那个 施事体
是
那个 另外 实体
的
agent
的声明 has
容易
的语气
(=>
(
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
固定人工制品
和
施事体
是
那个 机构
的
member
和
过程
是
工作的
的
instance
和
那个 施事体
是
那个 过程
的
agent
,
然后
那个 过程
是
located
在
那个 固定人工制品
的声明 has
容易
的语气
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29841-29845
如果
approximateValue
实数
and
另一个 实数
,
然后
那个 实数
equal
那个 另外 实数
的声明 has
容易
的语气
(=>
(
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
,
然后 有存在
实体
和
另一个 实体
这样
那个 实体
是
细菌
的
instance
和
那个 另外 实体
是
肾
的
instance
和
那个 另外 实体
是
那个 客体
的
part
和
那个 实体
是
located
在
那个 另外 实体
的声明 has
容易
的语气
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