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:
(=>
(
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
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
客体
的
subclass
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是 一个
dead
有点 有机物体
的
instance
和
那个 另外 客体
是
那个 第三 客体
的
part
和
那个 第三 客体
是
那个 有点 有机物体
的
instance
(=>
(
and
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
forall
(?R)
(=>
(
instance
?R ?ROOM)
(
exists
(?O)
(
and
(
instance
?R ?ROOM)
(
instance
?O ?OBJ)
(
located
?O ?R))))))
Hotel.kif 281-292
如果
有点 物理
是
amenity
在
有点 HotelUnit
和
有点 物理
是
客体
的
subclass
,
然后 对所有
客体
如果
那个 客体
是
有点 HotelUnit
的
instance
,
然后 有存在
另一个 物理
这样
那个 客体
是
那个 有点 HotelUnit
的
instance
和
那个 另外 物理
是
那个 有点 物理
的
instance
和
那个 另外 物理
是
located
在
那个 客体
(=>
(
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
(
subclass
?TYPE
Process
)
(
instance
?EVENT ?TYPE)
(
eventLocated
?EVENT ?REGION)
(
instance
?ROLE
CaseRole
)
(
instance
?OBJECT
Object
)
(
instance
?REGION
GeographicArea
)
(?ROLE ?EVENT ?OBJECT))
(
capableAtLocation
?TYPE ?ROLE ?OBJECT ?REGION))
Transportation.kif 2692-2701
如果
有点 过程
是
过程
的
subclass
和
另一个 过程
是
有点 过程
的
instance
和
那个 另外 过程
是
located
在
地区
和
格角色
是
格角色
的
instance
和
客体
是
客体
的
instance
和
那个 地区
是
地理区域
的
instance
和
那个 格角色
那个 另外 过程
and
那个 客体
,
然后
那个 有点 过程
capable
在地点
那个 格角色
对于
那个 客体
跟
那个 地区
在一起
(=>
(
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
(=>
(
instance
?T
Truck
)
(
exists
(?L)
(
and
(
subclass
?L
Object
)
(
cargoType
?T ?L))))
Transportation.kif 2019-2024
如果
运输设备
是
卡车
的
instance
,
然后 有存在
有点 客体
这样
有点 客体
是
客体
的
subclass
和
那个 有点 客体
是
那个 运输设备
的
cargo
种类
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
客体
的
subclass
,
然后
有点 有机物体
是
生物
的
subclass
或
那个 有点 有机物体
是
解剖结构
的
subclass
(=>
(
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
?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
(
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
(
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
(
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
(
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
当成
主事
在
那个 另外 有点 过程
在期间
那个 另外 有点 时距
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
如果
有点 物理
是区域
地理区域
的
natural
有害类别 和
有点 物理
是
客体
的
subclass
,
然后 有存在
另一个 物理
这样
那个 另外 物理
是
那个 有点 物理
的
instance
和
那个 另外 物理
是
located
在
那个 地理区域
(
subclass
Object
Physical
)
Merge.kif 846-846
客体
是
物理
的
subclass
(
subclass
TornadoDamage
Object
)
Weather.kif 2068-2068
龙卷风损害
是
客体
的
subclass
(
subclass
TwoDimensionalObject
Object
)
Mid-level-ontology.kif 4797-4797
二维物体
是
客体
的
subclass
(
subclass
TransitwayObstacle
Object
)
Mid-level-ontology.kif 15250-15250
过境障碍
是
客体
的
subclass
(
subclass
ContactSite
Object
)
Mid-level-ontology.kif 24553-24553
ContactSite
是
客体
的
subclass
(
subclass
SphericalObject
Object
)
Mid-level-ontology.kif 25611-25611
SphericalObject
是
客体
的
subclass
(
subclass
SelfConnectedObject
Object
)
Merge.kif 862-862
自身连接物体
是
客体
的
subclass
(
subclass
Region
Object
)
Merge.kif 1251-1251
地区
是
客体
的
subclass
(
subclass
Collection
Object
)
Merge.kif 1261-1261
群体
是
客体
的
subclass
(
subclass
AutonomousAgent
Object
)
Merge.kif 1556-1556
施事体
是
客体
的
subclass
(
subclass
AstronomicalBody
Object
)
Merge.kif 14022-14022
天文体
是
客体
的
subclass
(
subclass
Artifact
Object
)
Merge.kif 15681-15681
人工制品
是
客体
的
subclass
(
subclass
Magnet
Object
)
Cars.kif 3866-3866
Magnet
是
客体
的
subclass
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