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 4277-4278
(
documentation
PropertyFn
JapaneseLanguage
"
UnaryFunction
は、
Agent
を
Agent
が所有する O
Object
Set
にマップする。")
japanese_format.kif 790-791
(
domain
PropertyFn
1
AutonomousAgent
)
Merge.kif 4274-4274
域
屬性
, 1 and
AutonomousAgent
(
instance
PropertyFn
TotalValuedRelation
)
Merge.kif 4273-4273
例
屬性
and
TotalValuedRelation
(
instance
PropertyFn
UnaryFunction
)
Merge.kif 4272-4272
例
屬性
and
UnaryFunction
(
range
PropertyFn
Set
)
Merge.kif 4275-4275
範圍
屬性
and
Set
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 47810-47810
(
termFormat
ChineseTraditionalLanguage
PropertyFn
"屬性")
domainEnglishFormat.kif 47809-47809
(
termFormat
EnglishLanguage
PropertyFn
"property")
domainEnglishFormat.kif 47808-47808
(
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
AutonomousAgent
and
旅客住宿
元件
Entity
and
屬性
AutonomousAgent
例
Entity
and
Casino
attribute
AutonomousAgent
and
賭場酒店
(=>
(
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
元件
Object
and
屬性
Organization
attribute
Object
and
AnnexRoom
例
Object
and
HotelRoom
Object
Object
and
Organization
子組織
Organization
and
Organization
例
Organization
and
HotelFrontDesk
位於
Organization
and
Object
元件
Object
and
屬性
Organization
元件
Object
and
屬性
Organization
部分
Object
and
Object
等於
Object
and
Object
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
元件
Collection
and
屬性
AutonomousAgent
例
Collection
and
RoomInventory
Physical
會員
Physical
and
Collection
元件
Physical
and
屬性
AutonomousAgent
(=>
(
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
Physical
是
free
對於顧客出租
HotelFunctionRoom
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
目的地
Process
and
CognitiveAgent
例
Object
and
Physical
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Object
and
Process
agent
Object
and
CognitiveAgent
體驗者
Object
and
CognitiveAgent
擁有
AutonomousAgent
and
Object
例
Object
and
Object
使用
Object
and
CognitiveAgent
Object
是 對於
AutonomousAgent
的
price
測量
0 and
美國美元
(=>
(
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
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Object
是 對於
Human
的
price
測量
0 and
美國美元
(=>
(
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
Physical
的使用對於
HotelUnit
是免費
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
是 對於
Human
的
price
測量
0.0 and
美國美元
(=>
(
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
Physical
的使用對於
HotelFunctionRoom
是免費
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
agent
Process
and
AutonomousAgent
目的地
Process
and
Entity
子類
Physical
and
Object
模態屬性
entity
entity
例
entity
and
Physical
例
entity
and
Process
資源
entity
and
entity
儀器
entity
and
entity
患者
entity
and
entity
agent
entity
and
Entity
體驗者
entity
and
Entity
and
可能性
(=>
(
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
Human
是在
AutonomousAgent
的
guest
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
暫住
and
暫住
OOM
Physical
是
amenity
在
暫住
OOM
子類
Physical
and
Object
Physical
例
Physical
and
Physical
位於
Physical
and
暫住
賦予權利
entity
agent
entity
and
Human
儀器
entity
and
Physical
患者
entity
and
Physical
資源
entity
and
Physical
,
AutonomousAgent
and
Human
(=>
(
and
(
instance
?X
HotelFunctionRoom
)
(
element
?X
(
PropertyFn
?HOTEL)))
(
hasPurpose
?X
(
exists
(?RENT)
(
and
(
instance
?RENT
Renting
)
(
patient
?RENT ?X)))))
Hotel.kif 1696-1704
例
Physical
and
HotelFunctionRoom
元件
Physical
and
屬性
AutonomousAgent
有目的
Physical
and
entity
例
entity
and
租
患者
entity
and
Physical
(=>
(
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
例
Object
and
Nursery
元件
Object
and
屬性
AutonomousAgent
attribute
AutonomousAgent
and
旅客住宿
CognitiveAgent
entity
attribute
Object
and
CommunalAttribute
採用
AutonomousAgent
and
CognitiveAgent
有目的
CognitiveAgent
and
例
entity
and
ChildCareService
服務提供者
entity
and
CognitiveAgent
(=>
(
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
StationaryArtifact
能
accommodate
大部分
Integer
的人
例
Entity
and
StationaryArtifact
元件
Entity
and
屬性
AutonomousAgent
模態屬性
entity
entity
例
entity
and
一群人
entity
是
entity
的
member
計數
小於或等於
entity
and
Integer
entity
stays
在
Entity
and
可能性
(=>
(
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
去使用
Physical
例
Entity
and
HotelFunctionRoom
元件
Entity
and
屬性
AutonomousAgent
例
Process
and
租
患者
Process
and
Entity
目的地
Process
and
CognitiveAgent
例
Object
and
Physical
擁有
AutonomousAgent
and
Object
AutonomousAgent
是
CognitiveAgent
的
customer
例
Object
and
Process
agent
Object
and
CognitiveAgent
體驗者
Object
and
CognitiveAgent
擁有
AutonomousAgent
and
Object
例
Object
and
Object
使用
Object
and
CognitiveAgent
RealNumber
UnitOfMeasure
Object
是 對於
AutonomousAgent
的
price
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
RealNumber
and 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
去使用
Physical
子類
Physical
and
Object
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
例
Object
and
Physical
位於
Object
and
暫住
例
Process
and
Process
agent
Process
and
Human
位於
Process
and
暫住
患者
Process
and
Object
儀器
Process
and
Object
資源
Process
and
Object
Process
RICE
UnitOfMeasure
Object
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 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
去使用
Physical
子類
Physical
and
Process
例
暫住
and
HotelUnit
Human
stays
在
暫住
元件
暫住
and
屬性
AutonomousAgent
患者
Process
and
Human
例
Process
and
Physical
例
Process
and
Physical
子過程
Process
and
Process
位於
Process
and
暫住
Process
RICE
UnitOfMeasure
Process
是 對於
Human
的
price
測量
Process
RICE and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfCurrency
比較多
Process
RICE and 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
CognitiveAgent
authored
HotelPackage
例
HotelPackage
and
HotelPackage
Organization
provides
HotelPackage
HotelPackage
指定
Integer
天數
stay
在
HotelUnit
例
Entity
and
HotelUnit
元件
Entity
and
屬性
Organization
CognitiveAgent
buys
HotelPackage
從
CognitiveAgent
TimePosition
等於
TimePosition
and
測量
Integer
and
一天長度
持有期間
TimePosition
and
CognitiveAgent
是在
Organization
的
guest
(=>
(
element
?OBJ
(
PropertyFn
?PERSON))
(
possesses
?PERSON ?OBJ))
Merge.kif 4280-4283
元件
Object
and
屬性
AutonomousAgent
擁有
AutonomousAgent
and
Object
(=>
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT)
(
equal
(
WealthFn
?PERSON) ?AMOUNT))
Merge.kif 7807-7811
貨幣價值
屬性
AutonomousAgent
and
CurrencyMeasure
等於
財富
AutonomousAgent
and
CurrencyMeasure
consequent
(=>
(
activityCapability
?AGENT ?ACT)
(
exists
(?LOC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
capability
?ACT
located
?LOC))))
Hotel.kif 599-604
AutonomousAgent
can
hold
Process
的種類
Object
元件
Object
and
屬性
AutonomousAgent
能力
Process
,
位於
and
Object
(=>
(
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
AutonomousAgent
and
旅客住宿
能力
RoomCleaningService
,
agent
and
AutonomousAgent
CognitiveAgent
Object
採用
AutonomousAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
女傭
例
Object
and
HotelUnit
部分
Object
and
屬性
AutonomousAgent
能力
RoomCleaningService
,
患者
and
Object
能力
RoomCleaningService
,
服務提供者
and
CognitiveAgent
(=>
(
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
AutonomousAgent
是
CognitiveAgent
的
customer
AutonomousAgent
有
Physical
子類
Physical
and
Process
模態屬性
entity
entity
and
entity
元件
entity
and
屬性
AutonomousAgent
agent
entity
and
AutonomousAgent
患者
entity
and
CognitiveAgent
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
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
元件
Object
and
屬性
Organization
attribute
Object
and
AnnexRoom
例
Object
and
HotelRoom
Object
Object
and
Organization
子組織
Organization
and
Organization
例
Organization
and
HotelFrontDesk
位於
Organization
and
Object
元件
Object
and
屬性
Organization
元件
Object
and
屬性
Organization
部分
Object
and
Object
等於
Object
and
Object
(=>
(
and
(
element
?X
(
PropertyFn
?HOTEL))
(
instance
?X
RoomInventory
))
(
forall
(?Y)
(=>
(
member
?Y ?X)
(
element
?Y
(
PropertyFn
?HOTEL)))))
Hotel.kif 147-154
元件
Collection
and
屬性
AutonomousAgent
例
Collection
and
RoomInventory
Physical
會員
Physical
and
Collection
元件
Physical
and
屬性
AutonomousAgent
(=>
(
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
Physical
是
amenity
在
HotelUnit
子類
Physical
and
Process
模態屬性
entity
entity
,
entity
and
entity
例
entity
and
HotelUnit
元件
entity
and
屬性
entity
agent
entity
and
entity
例
entity
and
Physical
例
entity
and
Physical
子過程
entity
and
entity
位於
entity
and
entity
and
可能性
(=>
(
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
Object
and
旅客住宿
有目的
Object
and
entity
entity
and
entity
Object
rents
entity
給
entity
在其間
entity
例
entity
and
HotelUnit
元件
entity
and
屬性
Object
(=>
(
attribute
?X
WaterThemePark
)
(
exists
(?POOL)
(
and
(
instance
?POOL
SwimmingPool
)
(
element
?POOL
(
PropertyFn
?X)))))
naics.kif 11437-11442
attribute
AutonomousAgent
and
WaterThemePark
Entity
例
Entity
and
游泳池
元件
Entity
and
屬性
AutonomousAgent
(=>
(
equal
(
WealthFn
?PERSON) ?AMOUNT)
(
monetaryValue
(
PropertyFn
?PERSON) ?AMOUNT))
Merge.kif 7801-7805
等於
財富
AutonomousAgent
and
CurrencyMeasure
貨幣價值
屬性
AutonomousAgent
and
CurrencyMeasure
(=>
(
instance
?ROOM
HotelUnit
)
(
exists
(?HOTEL)
(
and
(
attribute
?HOTEL
TravelerAccommodation
)
(
element
?ROOM
(
PropertyFn
?HOTEL)))))
Hotel.kif 103-108
例
Entity
and
HotelUnit
AutonomousAgent
attribute
AutonomousAgent
and
旅客住宿
元件
Entity
and
屬性
AutonomousAgent
(=>
(
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
例
Physical
and
HotelUnit
有目的
Physical
and
entity
entity
and
entity
等於
entity
and
entity
元件
Physical
and
屬性
entity
entity
rents
Physical
給
entity
在其間
entity
(=>
(
instance
?X
HotelFunctionRoom
)
(
exists
(?HOTEL)
(
element
?X
(
PropertyFn
?HOTEL))))
Hotel.kif 1691-1694
例
Entity
and
HotelFunctionRoom
AutonomousAgent
元件
Entity
and
屬性
AutonomousAgent
(=>
(
possesses
?PERSON ?OBJ)
(
element
?OBJ
(
PropertyFn
?PERSON)))
Merge.kif 4285-4288
擁有
AutonomousAgent
and
Object
元件
Object
and
屬性
AutonomousAgent
(=>
(
propertyPolicy
?AGENT ?POLICY)
(
forall
(?X)
(=>
(
element
?X
(
PropertyFn
?AGENT))
(
policyLocationCoverage
?POLICY ?X))))
Hotel.kif 615-620
AutonomousAgent
有
Policy
Object
元件
Object
and
屬性
AutonomousAgent
Policy
covers
Object
(=>
(
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
Object
Collection
and
AutonomousAgent
例
Object
and
HotelUnit
元件
Object
and
屬性
AutonomousAgent
例
Collection
and
HotelMiniBar
位於
Collection
and
Object
Physical
會員
Physical
and
Collection
CurrencyMeasure
Physical
是 對於
AutonomousAgent
的
price
CurrencyMeasure
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