Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
functionRoomAmenity
Sigma KEE - functionRoomAmenity
functionRoomAmenity
appearance as argument number 1
(
documentation
functionRoomAmenity
EnglishLanguage
"(
functionRoomAmenity
?RM ?PHYS) means that
Physical
?PHYS is available for people who
Renting
HotelFunctionRoom
?RM")
Hotel.kif 807-809
(
domainSubclass
functionRoomAmenity
1
HotelFunctionRoom
)
Hotel.kif 812-812
The number 1 argument of
function room amenity
is a
subclass
of
hotel function room
(
domainSubclass
functionRoomAmenity
2
Physical
)
Hotel.kif 813-813
The number 2 argument of
function room amenity
is a
subclass
of
physical
(
instance
functionRoomAmenity
BinaryPredicate
)
Hotel.kif 806-806
function room amenity
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
functionRoomAmenity
"%2 的使用对于 %1 是免费")
domainEnglishFormat.kif 3512-3512
(
format
ChineseTraditionalLanguage
functionRoomAmenity
"%2 的使用對於 %1 是免費")
domainEnglishFormat.kif 3511-3511
(
format
EnglishLanguage
functionRoomAmenity
"use of %2 is free for %1")
domainEnglishFormat.kif 3510-3510
(
subrelation
freeFunctionRoomAmenity
functionRoomAmenity
)
Hotel.kif 838-838
free function room amenity
is a
subrelation
of
function room amenity
(
subrelation
paidFunctionRoomAmenity
functionRoomAmenity
)
Hotel.kif 870-870
free function room amenity
is a
subrelation
of
function room amenity
(
termFormat
EnglishLanguage
functionRoomAmenity
"function room amenity")
Hotel.kif 810-810
free function room amenity
is a
subrelation
of
function room amenity
antecedent
(=>
(
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 815-836
If use of
a kind of physical
is free for
a kind of hotel function room
and
an entity
is an
instance
of
a kind of hotel function room
and
the entity
is an
element
of
belongings
of
an agent
and
a process
is an
instance
of
renting
and
the entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
and
the process
end
s up at
another entity
and
a kind of physical
is a
subclass
of
object
,
then the statement there exist
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
the kind of physical
and
the fourth entity
is an
instance
of
process
and
the third entity
is a
resource
for
the fourth entity
or
the third entity
is an
instrument
for
the fourth entity
or
the third entity
is a
patient
of
the fourth entity
and
the other entity
is an
agent
of
the fourth entity
or
the other entity
experience
s
the fourth entity
has the
modal
force
of
possibility
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