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
PropertyFn
Sigma KEE - PropertyFn
PropertyFn
appearance as argument number 1
(
documentation
PropertyFn
ChineseLanguage
"这是个
UnaryFunction
,它把一个
Agent
和属于
Agent
的
Object
Set
联系起来。")
chinese_format.kif 2135-2136
(
documentation
PropertyFn
EnglishLanguage
"A
UnaryFunction
that maps an
AutonomousAgent
to the
Set
of
Object
s owned by the
AutonomousAgent
.")
Merge.kif 4278-4279
(
documentation
PropertyFn
JapaneseLanguage
"
UnaryFunction
は、
Agent
を
Agent
が所有する O
Object
Set
にマップする。")
japanese_format.kif 790-791
(
domain
PropertyFn
1
AutonomousAgent
)
Merge.kif 4275-4275
属于财产函数
的 1 数量 是
施事体
的
instance
(
instance
PropertyFn
TotalValuedRelation
)
Merge.kif 4274-4274
属于财产函数
是
总值关系
的
instance
(
instance
PropertyFn
UnaryFunction
)
Merge.kif 4273-4273
属于财产函数
是
一元函数
的
instance
(
range
PropertyFn
Set
)
Merge.kif 4276-4276
属于财产函数
的
range
是
集合
的实例
appearance as argument number 2
(
format
ChineseLanguage
PropertyFn
"%1 的财产")
chinese_format.kif 269-269
(
format
EnglishLanguage
PropertyFn
"belongings of %1")
english_format.kif 274-274
(
format
FrenchLanguage
PropertyFn
"appartenir � %1")
french_format.kif 153-153
(
format
ItalianLanguage
PropertyFn
"appartenenze di %1")
relations-it.txt 236-236
(
format
JapaneseLanguage
PropertyFn
"%1 の belongings")
japanese_format.kif 1981-1981
(
format
PortugueseLanguage
PropertyFn
"propriedade de %1")
portuguese_format.kif 105-105
(
format
cz
PropertyFn
"belongings of %1")
relations-cz.txt 163-163
(
format
de
PropertyFn
"eigentum von %1")
relations-de.txt 347-347
(
format
hi
PropertyFn
"%1 kii sampatti")
relations-hindi.txt 274-274
(
format
ro
PropertyFn
"belongings%t{bunurile} lui %1")
relations-ro.kif 172-172
(
format
sv
PropertyFn
"tillhörigheter av %1")
relations-sv.txt 159-159
(
format
tg
PropertyFn
"pag-aari ng %1")
relations-tg.txt 428-428
(
termFormat
ChineseLanguage
PropertyFn
"属于财产函数")
chinese_format.kif 270-270
(
termFormat
ChineseLanguage
PropertyFn
"属性")
domainEnglishFormat.kif 47812-47812
(
termFormat
ChineseTraditionalLanguage
PropertyFn
"屬性")
domainEnglishFormat.kif 47811-47811
(
termFormat
EnglishLanguage
PropertyFn
"property")
domainEnglishFormat.kif 47810-47810
(
termFormat
de
PropertyFn
"EigentumFn")
terms-de.txt 111-111
antecedent
(=>
(
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
?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
(
paidFunctionRoomAmenity
?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))))
(
exists
(?PRICE ?U)
(
and
(
price
?X
(
MeasureFn
?PRICE ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
greaterThan
?PRICE 0))))
Hotel.kif 871-897
如果
有点 HotelFunctionRoom
的 承租人 能
pay
去使用
有点 物理
和
实体
是
有点 HotelFunctionRoom
的
instance
和
那个 实体
是
施事体
的财产 的
element
和
过程
是
租
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 过程
在
有认知的主事
结束 和
客体
是
有点 物理
的
instance
和
那个 施事体
possesses
那个 客体
和
那个 施事体
是
那个 有认知的主事
的
customer
和
那个 客体
是
过程
的
instance
和
那个 有认知的主事
是
那个 客体
的
agent
或
那个 有认知的主事
经历了
那个 客体
或
那个 施事体
possesses
那个 客体
和
那个 客体
是
客体
的
instance
和
那个 有认知的主事
uses
那个 客体
,
然后 有存在
实数
和
测量单位
这样
那个 客体
是 对于
那个 施事体
的
price
那个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfCurrency
的
instance
和
那个 实数
是
greaterThan
0
(=>
(
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
(
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
(=>
(
and
(
propositionOwner
?AGENT ?HP)
(
instance
?HP
HotelPackage
)
(
accommodationProvider
?HP ?HOTEL)
(
roomStay
?HP ?NUM ?ROOM)
(
instance
?R ?ROOM)
(
element
?R
(
PropertyFn
?HOTEL))
(
buys
?CUST ?AGENT ?HP))
(
exists
(?TI)
(
and
(
equal
?TI
(
MeasureFn
?NUM
DayDuration
))
(
holdsDuring
?TI
(
guest
?CUST ?HOTEL)))))
Hotel.kif 2744-2757
如果
有认知的主事
authored
HotelPackage
和
那个 HotelPackage
是
HotelPackage
的
instance
和
机构
provides
那个 HotelPackage
和
那个 HotelPackage
指定
整数
天数
stay
在
有点 HotelUnit
和
实体
是
有点 HotelUnit
的
instance
和
那个 实体
是
那个 机构
的财产 的
element
和
另一个 有认知的主事
buys
那个 HotelPackage
从
那个 有认知的主事
,
然后 有存在
时间位置
这样
那个 时间位置
equal
那个 整数
一天长度
和
那个 另外 有认知的主事
是在
那个 机构
的
guest
在
那个 时间位置
holdsDuring
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4281-4284
如果
客体
是
施事体
的财产 的
element
,
然后
那个 施事体
possesses
那个 客体
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7843-7847
如果
施事体
的财产 的价值 是
货币测量
,
然后 属于
那个 施事体
的资产值
equal
那个 货币测量
consequent
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
如果
施事体
can
hold
有点 过程
的种类,
然后 有存在
客体
这样
那个 客体
是
那个 施事体
的财产 的
element
和
那个 客体
能够担当
位于
的角色做
有点 过程
(=>
(
and
(
attribute
?X
TravelerAccommodation
)
(
capability
RoomCleaningService
agent
?X))
(
exists
(?MAID ?HOTELROOM)
(
and
(
employs
?X ?MAID)
(
attribute
?MAID
Maid
)
(
instance
?HOTELROOM
HotelUnit
)
(
part
?HOTELROOM
(
PropertyFn
?X))
(
capability
RoomCleaningService
patient
?HOTELROOM)
(
capability
RoomCleaningService
serviceProvider
?MAID))))
Hotel.kif 1935-1946
如果
旅客住宿
是
施事体
的
attribute
和
那个 施事体
能够担当
主事
的角色做
RoomCleaningService
,
然后 有存在
有认知的主事
和
客体
这样
那个 施事体
employs
那个 有认知的主事
和
女佣
是
那个 有认知的主事
的
attribute
和
那个 客体
是
HotelUnit
的
instance
和
那个 客体
是
那个 施事体
的财产 的
part
和
那个 客体
能够担当
受事
的角色做
RoomCleaningService
和
那个 有认知的主事
能够担当
服务供应者
的角色做
RoomCleaningService
(=>
(
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
(
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
可能性
的语气
(=>
(
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
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7837-7841
如果 属于
施事体
的资产值
equal
货币测量
,
然后
那个 施事体
的财产 的价值 是
那个 货币测量
(=>
(
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
?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