Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
FileDevice
Sigma KEE - element
element
appearance as argument number 1
(
documentation
element
ChineseLanguage
"(element ?ENTITY ?SET)是真的,以防
Set
?SET 已包含 了这个 ?ENTITY。一个
Entity
可以是另外一个
Entity
的
element
当且仅当后者是一个
Set
。")
chinese_format.kif 2289-2290
(
documentation
element
EnglishLanguage
"(element ?ENTITY ?SET) is true just in case ?ENTITY is contained in the
Set
?SET. An
Entity
can be an
element
of another
Entity
only if the latter is a
Set
.")
Merge.kif 5418-5420
(
documentation
element
JapaneseLanguage
"(element ?ENTITY ?SET) は、?ENTITY が
Set
?SETに 含まれている場合に当てはまる。
Entity
は、後者が
Set
の場合にのみ、別の
Entity
の
element
にすることができる。")
japanese_format.kif 957-959
(
domain
element
1
Entity
)
Merge.kif 5415-5415
元素
的 1 数量 是
实体
的
instance
(
domain
element
2
Set
)
Merge.kif 5416-5416
元素
的 2 数量 是
集合
的
instance
(
instance
element
AsymmetricRelation
)
Merge.kif 5413-5413
元素
是
非对称关系
的
instance
(
instance
element
BinaryPredicate
)
Merge.kif 5412-5412
元素
是
二元谓语
的
instance
(
subrelation
element
instance
)
Merge.kif 5414-5414
元素
是
实例
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
element
"%1 %n 是 %2 的
element
")
chinese_format.kif 488-488
(
format
EnglishLanguage
element
"%1 is %n an
element
of %2")
english_format.kif 493-493
(
format
FrenchLanguage
element
"%1 est %n un �lement de %2")
french_format.kif 285-285
(
format
ItalianLanguage
element
"%è %n un
element
o di %2")
relations-it.txt 90-90
(
format
JapaneseLanguage
element
"%1 は %2 の
element
%n")
japanese_format.kif 2066-2066
(
format
PortugueseLanguage
element
"%1 e' %n um
element
o de %2")
portuguese_format.kif 237-237
(
format
cz
element
"%1 %p{je} %n{nen�} an
element
of %2")
relations-cz.txt 291-291
(
format
de
element
"%1 ist ein
element
von %2 %n{nicht}")
relations-de.txt 633-633
(
format
hi
element
"%1 %2 kaa ghaTaka %n hai")
relations-hindi.txt 130-130
(
format
ro
element
"%1 %n{nu} este un
element
%t{element} al lui %2")
relations-ro.kif 306-306
(
format
sv
element
"%1 är %n{inte} ett
element
av %2")
relations-sv.txt 312-312
(
format
tg
element
"%1 %n ay ang
element
o sa %2")
relations-tg.txt 195-195
(
relatedInternalConcept
member
element
)
Merge.kif 1282-1282
组员
和
元素
是 内部相关
(
termFormat
ChineseLanguage
element
"元件")
domainEnglishFormat.kif 21792-21792
(
termFormat
ChineseLanguage
element
"元素")
chinese_format.kif 489-489
(
termFormat
ChineseTraditionalLanguage
element
"元件")
domainEnglishFormat.kif 21791-21791
(
termFormat
EnglishLanguage
element
"element")
domainEnglishFormat.kif 21790-21790
(
termFormat
tg
element
"elemento")
relations-tg.txt 196-196
antecedent
(=>
(<=>
(
element
?ELEMENT ?SET1)
(
element
?ELEMENT ?SET2))
(
equal
?SET1 ?SET2))
Merge.kif 5422-5426
如果
实体
是
集合
的
element
若且唯若
那个 实体
是
另一个 集合
的
element
,
然后
那个 集合
equal
那个 另外 集合
(=>
(=>
(
element
?ELEMENT ?SUBSET)
(
element
?ELEMENT ?SET))
(
subset
?SUBSET ?SET))
Merge.kif 5406-5410
如果
如果
实体
是
集合
的
element
,
然后
那个 实体
是
另一个 集合
的
element
,
然后
那个 集合
是
那个 另外 集合
的
subset
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
element
?CASINO
(
PropertyFn
?X))
(
instance
?CASINO
Casino
))
(
attribute
?X
CasinoHotels
))
Hotel.kif 1452-1457
如果
旅客住宿
是
施事体
的
attribute
和
实体
是
那个 施事体
的财产 的
element
和
那个 实体
是
Casino
的
instance
,
然后
赌场酒店
是
那个 施事体
的
attribute
(=>
(
and
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
如果
客体
是
机构
的财产 的
element
和
AnnexRoom
是
那个 客体
的
attribute
和
那个 客体
是
HotelRoom
的
instance
,
然后 有存在
另一个 客体
,
第三 客体
, and 和
另一个 机构
这样
那个 另外 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
HotelFrontDesk
的
instance
和
那个 另外 机构
是
located
在
那个 另外 客体
和
那个 另外 客体
是
那个 机构
的财产 的
element
和
那个 第三 客体
是
那个 机构
的财产 的
element
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
不
equal
那个 第三 客体
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
如果
群体
是
施事体
的财产 的
element
和
那个 群体
是
RoomInventory
的
instance
,
然后 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
那个 施事体
的财产 的
element
(=>
(
and
(
freeFunctionRoomAmenity
?FR ?PHYS)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?AGENT))
(
instance
?R
Renting
)
(
patient
?R ?RM)
(
destination
?R ?CUST)
(
instance
?X ?PHYS)
(
possesses
?AGENT ?X)
(
customer
?CUST ?AGENT)
(
or
(
and
(
instance
?X
Process
)
(
or
(
agent
?X ?CUST)
(
experiencer
?X ?CUST)))
(
and
(
possesses
?AGENT ?X)
(
instance
?X
Object
)
(
uses
?X ?CUST))))
(
price
?X
(
MeasureFn
0
UnitedStatesDollar
) ?AGENT))
Hotel.kif 841-862
如果
有点 物理
是
free
对于顾客出租
有点 HotelFunctionRoom
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后
那个 客体
是 对于
那个 施事体
的
price
0
美国美元
(=>
(
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
(
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
(
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
(
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 12060-12072
如果
过程
是
决定
的
instance
和
有认知的主事
是
那个 过程
的
agent
和
集合
是
集合
的
instance
和
那个 集合
是
那个 过程
的
patient
和
实体
是
那个 集合
的
element
,
然后
那个 有认知的主事
believes
有存在
另一个 实体
这样
那个 实体
是
那个 另外 实体
的
instance
和
那个 另外 实体
是
有意图过程
的
subclass
和
那个 有认知的主事
能够担当
主事
的角色做
那个 另外 实体
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1696-1704
如果
物理
是
HotelFunctionRoom
的
instance
和
那个 物理
是
施事体
的财产 的
element
,
然后
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
租
的
instance
和
那个 物理
是
那个 实体
的
patient
(=>
(
and
(
instance
?X
Nursery
)
(
element
?X
(
PropertyFn
?HOTEL))
(
attribute
?HOTEL
TravelerAccommodation
))
(
exists
(?NANNY ?CARE)
(
and
(
attribute
?X
CommunalAttribute
)
(
employs
?HOTEL ?NANNY)
(
hasPurpose
?NANNY
(
and
(
instance
?CARE
ChildCareService
)
(
serviceProvider
?CARE ?NANNY))))))
Hotel.kif 1902-1914
如果
客体
是
Nursery
的
instance
和
那个 客体
是
施事体
的财产 的
element
和
旅客住宿
是
那个 施事体
的
attribute
,
然后 有存在
有认知的主事
和
实体
这样
CommunalAttribute
是
那个 客体
的
attribute
和
那个 施事体
employs
那个 有认知的主事
和
那个 有认知的主事
的 目的 是
那个 实体
是
ChildCareService
的
instance
和
那个 有认知的主事
在
那个 实体
中提供服务
(=>
(
and
(
maxRoomCapacity
?ROOM ?NUM)
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?AGENT)))
(
modalAttribute
(
exists
(?GRP ?PPL)
(
and
(
instance
?GRP
GroupOfPeople
)
(
memberCount
?GRP ?PPL)
(
lessThanOrEqualTo
?PPL ?NUM)
(
stays
?GRP ?X)))
Possibility
))
Hotel.kif 479-490
如果
有点 固定人工制品
能
accommodate
大部分
整数
的人 和
实体
是
有点 固定人工制品
的
instance
和
那个 实体
是
施事体
的财产 的
element
,
然后 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
一群人
的
instance
和
那个 第三 实体
是
那个 另外 实体
的
member
计数 和
那个 第三 实体
是
lessThanOrEqualTo
那个 整数
和
那个 另外 实体
stays
在
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S)
(
instance
?P
Process
)
(
agent
?P ?O))
(
frequency
Process
?Q))
Mid-level-ontology.kif 31348-31355
如果
memberMeasure
集合
,
MeasurementAttribute
and
持续时间
和
那个 集合
是
集合
的
instance
和
施事体
是
那个 集合
的
element
和
过程
是
过程
的
instance
和
那个 施事体
是
那个 过程
的
agent
,
然后
过程
每
那个 持续时间
发生一次
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
approximateDiameter
?O ?Q))
Mid-level-ontology.kif 31211-31216
如果
memberMeasure
集合
,
MeasurementAttribute
and
长度测量
和
那个 集合
是
集合
的
instance
和
自身连接物体
是
那个 集合
的
element
,
然后 1 的
approximate
diameter
是 %2
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
circumfrence
?O ?Q))
Mid-level-ontology.kif 31136-31141
如果
memberMeasure
集合
,
MeasurementAttribute
and
长度测量
和
那个 集合
是
集合
的
instance
和
客体
是
那个 集合
的
element
,
然后
circumfrence
那个 客体
and
那个 长度测量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
diameter
?O ?Q))
Mid-level-ontology.kif 31189-31194
如果
memberMeasure
集合
,
MeasurementAttribute
and
长度测量
和
那个 集合
是
集合
的
instance
和
客体
是
那个 集合
的
element
,
然后
那个 客体
的
diameter
是
那个 长度测量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
height
?O ?Q))
Mid-level-ontology.kif 31115-31120
如果
memberMeasure
集合
,
MeasurementAttribute
and
长度测量
和
那个 集合
是
集合
的
instance
和
自身连接物体
是
那个 集合
的
element
,
然后
那个 自身连接物体
的
height
是
那个 长度测量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
length
?O ?Q))
Mid-level-ontology.kif 31084-31089
如果
memberMeasure
集合
,
MeasurementAttribute
and
长度测量
和
那个 集合
是
集合
的
instance
和
物理
是
那个 集合
的
element
,
然后
那个 物理
的
length
是
那个 长度测量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
measure
?O ?Q))
Mid-level-ontology.kif 31035-31040
如果
memberMeasure
集合
,
MeasurementAttribute
and
物理量
和
那个 集合
是
集合
的
instance
和
物理
是
那个 集合
的
element
,
然后
那个 物理
的
measure
是
那个 物理量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
totalArea
?O ?Q))
Mid-level-ontology.kif 31240-31245
如果
memberMeasure
集合
,
MeasurementAttribute
and
面积测量
和
那个 集合
是
集合
的
instance
和
地区
是
那个 集合
的
element
,
然后
那个 面积测量
是
那个 地区
的
total
區域
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
transformerCapacity
?O ?Q))
Mid-level-ontology.kif 31380-31385
如果
memberMeasure
集合
,
MeasurementAttribute
and
函数量
和
那个 集合
是
集合
的
instance
和
变压器
是
那个 集合
的
element
,
然后
transformerCapacity
那个 变压器
and
那个 函数量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
voltageRatingPrimary
?O ?Q))
Mid-level-ontology.kif 31262-31267
如果
memberMeasure
集合
,
MeasurementAttribute
and
函数量
和
那个 集合
是
集合
的
instance
和
变压器
是
那个 集合
的
element
,
然后
voltageRatingPrimary
那个 变压器
and
那个 函数量
(=>
(
and
(
memberMeasure
?S ?M ?Q)
(
instance
?S
Set
)
(
element
?O ?S))
(
voltageRatingSecondary
?O ?Q))
Mid-level-ontology.kif 31305-31310
如果
memberMeasure
集合
,
MeasurementAttribute
and
函数量
和
那个 集合
是
集合
的
instance
和
变压器
是
那个 集合
的
element
,
然后
voltageRatingSecondary
那个 变压器
and
那个 函数量
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
如果
施事体
can
hold
有点 过程
的种类,
然后 有存在
客体
这样
那个 客体
是
那个 施事体
的财产 的
element
和
那个 客体
能够担当
位于
的角色做
有点 过程
(=>
(
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
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
attribute
?ROOM
AnnexRoom
)
(
instance
?ROOM
HotelRoom
))
(
exists
(?BLDG1 ?BLDG2 ?FRNT)
(
and
(
subOrganization
?FRNT ?HOTEL)
(
instance
?FRNT
HotelFrontDesk
)
(
located
?FRNT ?BLDG1)
(
element
?BLDG1
(
PropertyFn
?HOTEL))
(
element
?BLDG2
(
PropertyFn
?HOTEL))
(
part
?ROOM ?BLDG2)
(
not
(
equal
?BLDG1 ?BLDG2)))))
Hotel.kif 1127-1140
如果
客体
是
机构
的财产 的
element
和
AnnexRoom
是
那个 客体
的
attribute
和
那个 客体
是
HotelRoom
的
instance
,
然后 有存在
另一个 客体
,
第三 客体
, and 和
另一个 机构
这样
那个 另外 机构
是
那个 机构
Organization
的一部分 和
那个 另外 机构
是
HotelFrontDesk
的
instance
和
那个 另外 机构
是
located
在
那个 另外 客体
和
那个 另外 客体
是
那个 机构
的财产 的
element
和
那个 第三 客体
是
那个 机构
的财产 的
element
和
那个 客体
是
那个 第三 客体
的
part
和
那个 另外 客体
不
equal
那个 第三 客体
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
如果
群体
是
施事体
的财产 的
element
和
那个 群体
是
RoomInventory
的
instance
,
然后 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
那个 施事体
的财产 的
element
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12092-12108
如果
过程
是
决定
的
instance
和
施事体
是
那个 过程
的
agent
和
实体
是
那个 过程
的
patient
和
那个 实体
是
集合
的
instance
和
内容承载物理
是
那个 过程
的
result
和
那个 内容承载物理
是
内容承载物理
的
instance
,
然后
containsFormula
那个 内容承载物理
and 有存在
另一个 实体
这样
那个 另外 实体
是
那个 实体
的
element
和
那个 另外 实体
是
有意图过程
的
instance
和
那个 施事体
是
那个 另外 实体
的
agent
在
那个 过程
出现 的
time
之后
holdsDuring
(=>
(
and
(
instance
?X
BreakingRecord
)
(
agent
?X ?A1))
(
exists
(?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)
(
and
(
instance
?AC
Set
)
(
element
?A1 ?AC)
(
subclass
?PC
Process
)
(
instance
?L
Region
)
(
instance
?TP
TimePoint
)
(
instance
?Q
Quantity
)
(
instance
?P1 ?PC)
(
refers
?X ?Q)
(
refers
?Q ?P1)
(
playsRoleInEvent
?A1 ?ROLE ?P1)
(
eventLocated
?P1 ?L)
(
not
(
exists
(?A2 ?P2)
(
and
(
instance
?A2 ?AC)
(
not
(
equal
?A2 ?A1))
(
instance
?P2 ?PC)
(
holdsDuring
(
TimeIntervalFn
?TP
(
EndFn
(
WhenFn
?X)))
(
and
(
playsRoleInEvent
?A2 ?ROLE ?P2)
(
eventLocated
?P2 ?L)))))))))
Mid-level-ontology.kif 30054-30084
如果
过程
是
BreakingRecord
的
instance
和
施事体
是
那个 过程
的
agent
,
然后 有存在
集合
,
类
,, ,
另一个 过程
,, ,
时点
,, ,
格角色
,, ,
客体
, and 和
实体
这样
那个 集合
是
集合
的
instance
和
那个 施事体
是
那个 集合
的
element
和
那个 类
是
过程
的
subclass
和
那个 客体
是
地区
的
instance
和
那个 时点
是
时点
的
instance
和
那个 实体
是
数量
的
instance
和
那个 另外 过程
是
那个 类
的
instance
和
那个 过程
提到
那个 实体
和
那个 实体
提到
那个 另外 过程
和
那个 施事体
对于
那个 另外 过程
在事件
那个 格角色
plays
角色 和
那个 另外 过程
是
located
在
那个 客体
和 不存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
那个 集合
的
instance
和
那个 另外 实体
不
equal
那个 施事体
和
那个 第三 实体
是
那个 类
的
instance
和
那个 另外 实体
对于
那个 第三 实体
在事件
那个 格角色
plays
角色 和
那个 第三 实体
是
located
在
那个 客体
在
那个 时点
和
那个 过程
出现 的
time
的结束 间的时段
holdsDuring
(=>
(
and
(
roomAmenity
?ROOM ?SVC)
(
subclass
?SVC
Process
))
(
modalAttribute
(
exists
(?X ?S ?HOTEL ?PROC)
(
and
(
instance
?X ?ROOM)
(
element
?X
(
PropertyFn
?HOTEL))
(
agent
?S ?HOTEL)
(
or
(
instance
?S ?SVC)
(
and
(
instance
?PROC ?SVC)
(
subProcess
?S ?PROC)))
(
located
?S ?X)))
Possibility
))
Hotel.kif 317-332
如果
有点 物理
是
amenity
在
有点 HotelUnit
和
有点 物理
是
过程
的
subclass
,
然后 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
第四 实体
这样
那个 实体
是
有点 HotelUnit
的
instance
和
那个 实体
是
那个 第三 实体
的财产 的
element
和
那个 第三 实体
是
那个 另外 实体
的
agent
和
那个 另外 实体
是
那个 有点 物理
的
instance
或
那个 第四 实体
是
那个 有点 物理
的
instance
和
那个 另外 实体
%n是
那个 第四 实体
的
subProcess
和
那个 另外 实体
是
located
在
那个 实体
的声明 has
可能性
的语气
(=>
(
and
(
subset
?SUBSET ?SET)
(
element
?ELEMENT ?SUBSET))
(
element
?ELEMENT ?SET))
Merge.kif 5400-5404
如果
集合
是
另一个 集合
的
subset
和
实体
是
那个 集合
的
element
,
然后
那个 实体
是
那个 另外 集合
的
element
(=>
(
attribute
?X
TravelerAccommodation
)
(
hasPurpose
?X
(
exists
(?GUEST ?ROOM ?TI)
(
and
(
rents
?GUEST ?X ?ROOM ?TI)
(
instance
?ROOM
HotelUnit
)
(
element
?ROOM
(
PropertyFn
?X))))))
Hotel.kif 45-52
如果
旅客住宿
是
客体
的
attribute
,
然后
那个 客体
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 客体
rents
那个 另外 实体
给
那个 实体
在其间
那个 第三 实体
和
那个 另外 实体
是
HotelUnit
的
instance
和
那个 另外 实体
是
那个 客体
的财产 的
element
(=>
(
attribute
?X
WaterThemePark
)
(
exists
(?POOL)
(
and
(
instance
?POOL
SwimmingPool
)
(
element
?POOL
(
PropertyFn
?X)))))
naics.kif 11437-11442
如果
WaterThemePark
是
施事体
的
attribute
,
然后 有存在
实体
这样
那个 实体
是
游泳池
的
instance
和
那个 实体
是
那个 施事体
的财产 的
element
(=>
(
instance
?ROOM
HotelUnit
)
(
exists
(?HOTEL)
(
and
(
attribute
?HOTEL
TravelerAccommodation
)
(
element
?ROOM
(
PropertyFn
?HOTEL)))))
Hotel.kif 103-108
如果
实体
是
HotelUnit
的
instance
,
然后 有存在
施事体
这样
旅客住宿
是
那个 施事体
的
attribute
和
那个 实体
是
那个 施事体
的财产 的
element
(=>
(
instance
?ROOM
HotelUnit
)
(
hasPurpose
?ROOM
(
exists
(?AGENT ?CUST ?TI)
(
and
(
not
(
equal
?AGENT ?CUST))
(
element
?ROOM
(
PropertyFn
?AGENT))
(
rents
?CUST ?AGENT ?ROOM ?TI)))))
Hotel.kif 110-117
如果
物理
是
HotelUnit
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
不
equal
那个 另外 实体
和
那个 物理
是
那个 实体
的财产 的
element
和
那个 实体
rents
那个 物理
给
那个 另外 实体
在其间
那个 第三 实体
(=>
(
instance
?SET
NonNullSet
)
(
exists
(?INST)
(
element
?INST ?SET)))
Merge.kif 5533-5536
如果
集合
是
非空集
的
instance
,
然后 有存在
实体
这样
那个 实体
是
那个 集合
的
element
(=>
(
instance
?SET
NullSet
)
(
not
(
exists
(?INST)
(
element
?INST ?SET))))
Merge.kif 5521-5525
如果
集合
是
空集
的
instance
,
然后 不存在
实体
这样
那个 实体
是
那个 集合
的
element
(=>
(
instance
?X
HotelFunctionRoom
)
(
exists
(?HOTEL)
(
element
?X
(
PropertyFn
?HOTEL))))
Hotel.kif 1691-1694
如果
实体
是
HotelFunctionRoom
的
instance
,
然后 有存在
施事体
这样
那个 实体
是
那个 施事体
的财产 的
element
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4286-4289
如果
施事体
possesses
客体
,
然后
那个 客体
是
那个 施事体
的财产 的
element
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 615-620
如果
施事体
有
Policy
,
然后 对所有
客体
如果
那个 客体
是
那个 施事体
的财产 的
element
,
然后
那个 Policy
covers
那个 客体
(=>
(
roomAmenity
?X
HotelMiniBar
)
(
exists
(?ROOM ?BAR ?HOTEL)
(
and
(
instance
?ROOM ?X)
(
element
?ROOM
(
PropertyFn
?HOTEL))
(
instance
?BAR
HotelMiniBar
)
(
located
?BAR ?ROOM)
(
forall
(?ITEM)
(=>
(
member
?ITEM ?BAR)
(
exists
(?AMT)
(
price
?ITEM ?AMT ?HOTEL)))))))
Hotel.kif 1727-1739
如果
HotelMiniBar
是
amenity
在
有点 HotelUnit
,
然后 有存在
客体
,
群体
, and 和
施事体
这样
那个 客体
是
有点 HotelUnit
的
instance
和
那个 客体
是
那个 施事体
的财产 的
element
和
那个 群体
是
HotelMiniBar
的
instance
和
那个 群体
是
located
在
那个 客体
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后 有存在
货币测量
这样
那个 物理
是 对于
那个 施事体
的
price
那个 货币测量
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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