Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
如果
物理
是
防护眼镜
的
instance
,
然后
那个 物理
的 目的 是
如果 有存在
那个 物理
RSON 这样
那个 物理
RSON 是
人类
的
instance
和
那个 物理
RSON
wears
那个 物理
,
然后 有存在
另一个 实体
,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
, and 和
第六 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 物理
是导致
那个 另外 实体
的
instrument
和
那个 第四 实体
是
那个 第五 实体
所描述的类别 的
subclass
和
那个 另外 实体
prevents
那个 第四 实体
的发生
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
如果
有点 物理
的使用对于
有点 HotelFunctionRoom
是免费 和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 施事体
是
那个 过程
的
agent
和
那个 过程
在
另一个 实体
结束 和
有点 物理
是
客体
的
subclass
,
然后 有存在
第三 实体
和
第四 实体
这样
那个 第三 实体
是
那个 有点 物理
的
instance
和
那个 第四 实体
是
过程
的
instance
和
那个 第三 实体
是
那个 第四 实体
的
resource
或
那个 第三 实体
是导致
那个 第四 实体
的
instrument
或
那个 第三 实体
是
那个 第四 实体
的
patient
和
那个 另外 实体
是
那个 第四 实体
的
agent
或
那个 另外 实体
经历了
那个 第四 实体
的声明 has
可能性
的语气
(=>
(
and
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
如果
sheddingLeaves
植物
and
PlantLeaf
和
那个 植物
是
DeciduousTree
的
instance
和
那个 PlantLeaf
是
PlantLeaf
的
instance
,
然后 有存在
有点 过程
和
另一个 过程
这样
有点 过程
是
移除
的
subclass
和
那个 有点 过程
每
年持续时间
发生一次 和
那个 另外 过程
是
那个 有点 过程
的
instance
和
那个 植物
是
那个 另外 过程
的源头 和
那个 PlantLeaf
是
那个 另外 过程
的
patient
(=>
(
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
容易
的语气
(=>
(
instance
?X
Protecting
)
(
hasPurpose
?X
(
exists
(?OBJ ?T ?H ?HARM)
(
and
(
instance
?OBJ
Object
)
(
patient
?X
Object
)
(
subclass
?HARM
(
KappaFn
?H
(
and
(
or
(
instance
?H
CriminalAction
)
(
instance
?H
Damaging
))
(=>
(
holdsDuring
?T
(
patient
?H ?OBJ))
(
not
(
holdsDuring
?T
(
patient
?X ?OBJ)))))))
(
or
(
prevents
?X ?HARM)
(
hinders
?X ?HARM))))))
Mid-level-ontology.kif 18421-18442
如果
物理
是
Protecting
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
那个 第三 实体
ARM 这样
那个 实体
是
客体
的
instance
和
客体
是
那个 物理
的
patient
和
那个 第三 实体
ARM 是
那个 第三 实体
所描述的类别 的
subclass
和
那个 物理
prevents
那个 第三 实体
ARM 的发生 或
那个 物理
hinders
那个 第三 实体
ARM
(=>
(
and
(
paidRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
exists
(?PRICE ?U)
(
and
(
price
?P
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 419-438
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 过程
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
0
(=>
(
subclass
?F
Fertilisation
)
(
capability
?F
patient
Organism
))
Mid-level-ontology.kif 23988-23990
如果
有点 过程
是
Fertilisation
的
subclass
,
然后
生物
能够担当
受事
的角色做
有点 过程
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
如果
可穿戴物品
是
听力保护
的
instance
和
动物
是
人类
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生 和
那个 可穿戴物品
是导致
那个 实体
的
instrument
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
如果
过程
是
购买
的
instance
和
实体
是
那个 过程
的
patient
和
有认知的主事
是
那个 过程
的源头 和
另一个 有点 实体
的
price
从
那个 有认知的主事
根据
PricingScheme
是
货币测量
或
unit
price
已收费
那个 有认知的主事
在
那个 PricingScheme
底下 对于
函数量
是
另一个 有点 实体
和
那个 另外 有点 实体
是
物理
的
subclass
和
那个 实体
是
那个 另外 有点 实体
的
immediateInstance
和
有点 付款
是
valid
payment
在
那个 PricingScheme
底下,
然后 有存在
有点 付款
MENT 这样
那个 有点 付款
MENT 是
那个 有点 付款
的
instance
和
那个 有点 付款
MENT%n是
那个 过程
的
subProcess
的声明 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
(
offers
?AGENT ?CATALOG)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINST ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINST ?OBJ))
(
capability
?PROCESS
agent
?AGENT))
Catalog.kif 98-107
如果
施事体
offers
拍卖样品在
Catalog
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
客体
的
subclass
和
过程
是
另一个 有点 过程
的
instance
和
另一个 有点 过程
是
过程
的
subclass
和
另一个 实体
是
那个 有点 实体
的
instance
和
那个 另外 实体
是
那个 过程
的
patient
,
然后
那个 施事体
能够担当
主事
的角色做
那个 另外 有点 过程
(=>
(
and
(
instance
?SEAT
AuditoriumSeat
)
(
part
?SEAT ?AUDITORIUM)
(
part
?STAGE ?AUDITORIUM)
(
instance
?AUDITORIUM
Auditorium
)
(
instance
?STAGE
PerformanceStage
)
(
located
?PERSON ?SEAT)
(
instance
?PERSON
Human
)
(
subclass
?SEE
Seeing
)
(
forall
(?INST)
(=>
(
instance
?INST ?SEE)
(
patient
?INST ?STAGE))))
(
capability
?SEE
agent
?PERSON))
Mid-level-ontology.kif 7351-7365
如果
客体
是
礼堂座位
的
instance
和
那个 客体
是
另一个 客体
的
part
和
第三 客体
是
那个 另外 客体
的
part
和
那个 另外 客体
是
礼堂
的
instance
和
那个 第三 客体
是
表演阶段
的
instance
和
第四 客体
是
located
在
那个 客体
和
那个 第四 客体
是
人类
的
instance
和
有点 过程
是
看
的
subclass
和 对所有
另一个 过程
如果
那个 另外 过程
是
有点 过程
的
instance
,
然后
那个 第三 客体
是
那个 另外 过程
的
patient
,
然后
那个 第四 客体
能够担当
主事
的角色做
那个 有点 过程
(=>
(
and
(
freeRoomAmenity
?ROOM ?PROC)
(
subclass
?PROC
Process
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
patient
?P ?GUEST)
(
or
(
instance
?P ?PROC)
(
and
(
instance
?S ?PROC)
(
subProcess
?P ?S)))
(
located
?P ?R))
(
price
?P
(
MeasureFn
0.0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 364-378
如果
有点 物理
的使用是对于
有点 HotelUnit
免费 和
有点 物理
是
过程
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
那个 人类
是
过程
的
patient
和
那个 过程
是
那个 有点 物理
的
instance
或
另一个 过程
是
那个 有点 物理
的
instance
和
那个 过程
%n是
那个 另外 过程
的
subProcess
和
那个 过程
是
located
在
那个 暂住
,
然后
那个 过程
是 对于
那个 人类
的
price
0.0
美国美元
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
客体
的
subclass
和
实体
是
那个 有点 物理
的
instance
,
然后
那个 施事体
允许
那个 有认知的主事
执行 有存在
另一个 实体
这样
那个 另外 实体
是
过程
的
instance
和
那个 实体
是
那个 另外 实体
的
resource
或
那个 实体
是导致
那个 另外 实体
的
instrument
或
那个 实体
是
那个 另外 实体
的
patient
和
那个 有认知的主事
是
那个 另外 实体
的
agent
或
那个 有认知的主事
经历了
那个 另外 实体
的任务
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3389-3417
如果
可穿戴物品
是
安全套
的
instance
和
动物
是
动物
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
是
过程
的
instance
和
那个 可穿戴物品
是导致
那个 实体
的
instrument
和
那个 动物
是
那个 实体
的
patient
和
那个 另外 实体
是
那个 第三 实体
所描述的类别 的
subclass
和
那个 实体
prevents
那个 另外 实体
的发生
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3531-3552
如果
可穿戴物品
是
呼吸器
的
instance
和
动物
是
动物
的
instance
和
那个 动物
wears
那个 可穿戴物品
,
然后
那个 可穿戴物品
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 第三 实体
是
过程
的
instance
和
那个 可穿戴物品
是导致
那个 第三 实体
的
instrument
和
那个 第三 实体
prevents
那个 另外 实体
的发生 和
那个 另外 实体
是
那个 第四 实体
所描述的类别 的
subclass
(=>
(
and
(
subclass
?TEXT
Periodical
)
(
equal
(
SeriesVolumeFn
?TEXT ?INT1) ?VOLUME1)
(
equal
(
SeriesVolumeFn
?TEXT ?INT2) ?VOLUME2)
(
greaterThan
?INT2 ?INT1)
(
instance
?PUB1
Publication
)
(
instance
?PUB2
Publication
)
(
instance
?CBO1 ?VOLUME1)
(
instance
?CBO2 ?VOLUME2)
(
patient
?PUB1 ?CBO1)
(
patient
?PUB2 ?CBO2)
(
date
?PUB1 ?DATE1)
(
date
?PUB2 ?DATE2))
(
before
(
EndFn
?DATE1)
(
EndFn
?DATE2)))
Mid-level-ontology.kif 14624-14638
如果
有点 系列
是
期刊
的
subclass
和 系列
有点 系列
的第
另一个 正整数
卷
equal
有点 文本
和 系列
那个 有点 系列
的第
正整数
卷
equal
另一个 有点 文本
和
那个 正整数
是
greaterThan
那个 另外 正整数
和
过程
是
出版
的
instance
和
另一个 过程
是
出版
的
instance
和
第三 实体
是
有点 文本
的
instance
和
第四 实体
是
另一个 有点 文本
的
instance
和
那个 第三 实体
是
那个 过程
的
patient
和
那个 第四 实体
是
那个 另外 过程
的
patient
和
那个 过程
的
date
是
日
和
那个 另外 过程
的
date
是
另一个 日
,
然后
那个 日
的结束%n在
那个 另外 日
的结束
before
发生
(=>
(
and
(
offersAtTime
?AGENT ?CATALOG ?TIMEINT)
(
catalogItem
?CLASS ?CATALOG)
(
subclass
?CLASS
Object
)
(
instance
?PROCESSINSTANCE ?PROCESS)
(
subclass
?PROCESS
Process
)
(
instance
?OBJ ?CLASS)
(
patient
?PROCESSINSTANCE ?OBJ)
(
instance
?TIMEINT ?TIME)
(
subclass
?TIME
TimeInterval
))
(
capabilityDuring
?PROCESS
agent
?AGENT ?TIME))
Catalog.kif 139-150
如果
施事体
offers
拍卖样品在
Catalog
在其间
时距
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
客体
的
subclass
和
过程
是
另一个 有点 过程
的
instance
和
另一个 有点 过程
是
过程
的
subclass
和
另一个 实体
是
那个 有点 实体
的
instance
和
那个 另外 实体
是
那个 过程
的
patient
和
那个 时距
是
另一个 有点 时距
的
instance
和
另一个 有点 时距
是
时距
的
subclass
,
然后
那个 施事体
是
capable
当成
主事
在
那个 另外 有点 过程
在期间
那个 另外 有点 时距
(=>
(
subclass
?C
(
CoveringFn
?B))
(
hasPurpose
?C
(
exists
(?P ?BI ?CI)
(
and
(
instance
?P
Covering
)
(
instance
?BI ?B)
(
instance
?CI ?C)
(
destination
?P ?BI)
(
patient
?P ?CI)))))
Mid-level-ontology.kif 29730-29739
如果
物理
是 对于
有点 身体部位
的
covering
的
subclass
,
然后
那个 物理
的 目的 是 有存在
实体
,
有点 身体部位
I, and 和
那个 物理
I 这样
那个 实体
是
遮盖
的
instance
和
那个 有点 身体部位
I 是
那个 有点 身体部位
的
instance
和
那个 物理
I 是
那个 物理
的
instance
和
那个 实体
在
那个 有点 身体部位
I 结束 和
那个 物理
I 是
那个 实体
的
patient
(=>
(
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
(
attribute
?X
DutyFree
)
(
instance
?X
Store
))
(
exists
(?AREA ?OBJ ?O ?SELL)
(
and
(
instance
?AREA
GeopoliticalArea
)
(
located
?X ?AREA)
(
subclass
?O
Object
)
(
importCommodityType
?AREA ?O)
(
instance
?OBJ ?O)
(
instance
?SELL
Selling
)
(
patient
?SELL ?OBJ)
(
located
?SELL ?X))))
Hotel.kif 1478-1491
如果
DutyFree
是
客体
的
attribute
和
那个 客体
是
商店
的
instance
,
然后 有存在
地缘政治区域
,
实体
,, ,
另一个 有点 客体
, and 和
过程
这样
那个 地缘政治区域
是
地缘政治区域
的
instance
和
那个 客体
是
located
在
那个 地缘政治区域
和
另一个 有点 客体
是
客体
的
subclass
和
那个 另外 有点 客体
是
那个 地缘政治区域
的
import
商品种类 和
那个 实体
是
那个 另外 有点 客体
的
instance
和
那个 过程
是
出售
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
是
located
在
那个 客体
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?PROP ?CATALOG)
(
subclass
?PROP
Proposition
))
(
modalAttribute
(
exists
(?P ?S ?X)
(
and
(
instance
?P ?PROP)
(
realization
?X ?P)
(
instance
?S
Selling
)
(
patient
?S ?X)
(
agent
?S ?AGENT)))
Possibility
))
Catalog.kif 64-76
如果
施事体
offers
拍卖样品在
Catalog
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
命题
的
subclass
,
然后 有存在
另一个 实体
,
第三 实体
, and 和
第四 实体
这样
那个 另外 实体
是
那个 有点 实体
的
instance
和
那个 第四 实体
表示
那个 另外 实体
的内容 和
那个 第三 实体
是
出售
的
instance
和
那个 第四 实体
是
那个 第三 实体
的
patient
和
那个 施事体
是
那个 第三 实体
的
agent
的声明 has
可能性
的语气
(=>
(
and
(
offers
?AGENT ?CATALOG)
(
catalogItem
?OBJ ?CATALOG)
(
subclass
?OBJ
Physical
))
(
modalAttribute
(
exists
(?S ?X)
(
and
(
instance
?X ?OBJ)
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?X)))
Possibility
))
Catalog.kif 51-62
如果
施事体
offers
拍卖样品在
Catalog
和
有点 实体
是在
那个 Catalog
和
有点 实体
是
物理
的
subclass
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 第三 实体
是
那个 有点 实体
的
instance
和
那个 另外 实体
是
出售
的
instance
和
那个 施事体
是
那个 另外 实体
的
agent
和
那个 第三 实体
是
那个 另外 实体
的
patient
的声明 has
可能性
的语气
(=>
(
and
(
freeRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
price
?O
(
MeasureFn
0
UnitedStatesDollar
) ?GUEST))
Hotel.kif 346-361
如果
有点 物理
的使用是对于
有点 HotelUnit
免费 和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后
那个 客体
是 对于
那个 人类
的
price
0
美国美元
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
如果
施事体
是
有认知的主事
的
customer
和
那个 施事体
有
有点 物理
和
有点 物理
是
过程
的
subclass
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 另外 实体
是
那个 施事体
的财产 的
element
和
那个 施事体
是
那个 实体
的
agent
和
那个 有认知的主事
是
那个 实体
的
patient
和
那个 实体
是
那个 有点 物理
的
instance
或
那个 第三 实体
是
那个 有点 物理
的
instance
和
那个 实体
%n是
那个 第三 实体
的
subProcess
和
那个 实体
是
located
在
那个 另外 实体
的声明 has
可能性
的语气
(=>
(
and
(
paidRoomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
)
(
instance
?R ?ROOM)
(
stays
?GUEST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?O ?OBJ)
(
located
?O ?R)
(
instance
?P
Process
)
(
agent
?P ?GUEST)
(
or
(
located
?P ?R)
(
patient
?P ?O)
(
instrument
?P ?O)
(
resource
?P ?O)))
(
exists
(?PRICE ?U)
(
and
(
price
?O
(
MeasureFn
?PRICE ?U) ?GUEST)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 396-417
如果
有点 HotelUnit
的 承租人 能
pay
去使用
有点 物理
和
有点 物理
是
客体
的
subclass
和
暂住
是
有点 HotelUnit
的
instance
和
人类
stays
在
那个 暂住
和
那个 暂住
是
施事体
的财产 的
element
和
客体
是
那个 有点 物理
的
instance
和
那个 客体
是
located
在
那个 暂住
和
过程
是
过程
的
instance
和
那个 人类
是
那个 过程
的
agent
和
那个 过程
是
located
在
那个 暂住
或
那个 客体
是
那个 过程
的
patient
或
那个 客体
是导致
那个 过程
的
instrument
或
那个 客体
是
那个 过程
的
resource
,
然后 有存在
那个 过程
RICE 和
测量单位
这样
那个 客体
是 对于
那个 人类
的
price
那个 过程
RICE
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 过程
RICE 是
greaterThan
0
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
如果
人类
是在
施事体
的
guest
和
那个 人类
stays
在
暂住
和
那个 暂住
是
那个 施事体
的财产 的
element
和
那个 暂住
是
那个 暂住
OOM 的
instance
和
有点 物理
是
amenity
在
那个 暂住
OOM 和
有点 物理
是
客体
的
subclass
,
然后 有存在
另一个 物理
这样
那个 另外 物理
是
那个 有点 物理
的
instance
和
那个 另外 物理
是
located
在
那个 暂住
和
那个 施事体
允许
那个 人类
执行 有存在
实体
这样
那个 人类
是
那个 实体
的
agent
和
那个 另外 物理
是导致
那个 实体
的
instrument
或
那个 另外 物理
是
那个 实体
的
patient
或
那个 另外 物理
是
那个 实体
的
resource
的任务
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
如果
过程
是
决定
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
集合
是
集合
的
instance
和
那个 集合
是
那个 过程
的
patient
和
实体
是
那个 集合
的
element
,
然后
那个 有认知的主事
believes
有存在
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
instance
和
那个 另外 实体
是
有意图过程
的
subclass
和
那个 有认知的主事
能够担当
主事
的角色做
那个 另外 实体
(=>
(
attribute
?H
Pulmonologist
)
(
exists
(?P1 ?P2 ?PAT ?L)
(
and
(
subclass
?PROCESS1
DiagnosticProcess
)
(
subclass
?PROCESS2
TherapeuticProcess
)
(
patient
?P1 ?PAT)
(
patient
?P2 ?PAT)
(
instance
?L
Lung
)
(
part
?L ?PAT)
(
located
?P1
Lung
)
(
located
?P2
Lung
))))
Medicine.kif 4481-4492
如果
Pulmonologist
是
客体
的
attribute
,
然后 有存在
过程
,
另一个 过程
,, ,
另一个 客体
, and 和
第三 客体
这样
类
是
诊断过程
的
subclass
和
另一个 类
是
治疗过程
的
subclass
和
那个 另外 客体
是
那个 过程
的
patient
和
那个 另外 客体
是
那个 另外 过程
的
patient
和
那个 第三 客体
是
肺
的
instance
和
那个 第三 客体
是
那个 另外 客体
的
part
和
那个 过程
是
located
在
肺
和
那个 另外 过程
是
located
在
肺
(=>
(
and
(
subclass
?PROGRAM
NewsProgram
)
(
instance
?EPISODE
(
SeriesVolumeFn
?PROGRAM ?NUMBER)))
(
exists
(?DISSEMINATE)
(
and
(
instance
?DISSEMINATE
Disseminating
)
(
patient
?DISSEMINATE ?EPISODE))))
Mid-level-ontology.kif 14606-14613
如果
有点 系列
是
新闻节目
的
subclass
和
实体
是 系列
有点 系列
的第?NUMBER卷 的
instance
,
然后 有存在
过程
这样
那个 过程
是
传播
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9561-9574
如果
客体
是
植物
的
instance
和
另一个 客体
是
那个 客体
的
part
,
然后 有存在
过程
,
实体
, and 和
另一个 有点 过程
这样
那个 过程
是
另一个 有点 过程
的
instance
和
那个 另外 有点 过程
是
保存
的
subclass
和
那个 实体
是
淡水
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 另外 客体
能够担当
工具
的角色做
那个 另外 有点 过程
和
那个 另外 客体
是
PlantLeaf
的
instance
或
那个 另外 客体
是
PlantStem
的
instance
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