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
paidFunctionRoomAmenity
Sigma KEE - paidFunctionRoomAmenity
paidFunctionRoomAmenity
appearance as argument number 1
(
documentation
paidFunctionRoomAmenity
EnglishLanguage
"(
paidFunctionRoomAmenity
?RM ?PHY) means that the use of ?PHY provided by
TravelerAccommodation
to customers renting
HotelFunctionRoom
incurs charges")
Hotel.kif 866-868
(
instance
paidFunctionRoomAmenity
BinaryPredicate
)
Hotel.kif 865-865
free function room amenity
is an
instance
of
binary predicate
(
subrelation
paidFunctionRoomAmenity
functionRoomAmenity
)
Hotel.kif 864-864
free function room amenity
is a
subrelation
of
function room amenity
appearance as argument number 2
(
format
ChineseLanguage
paidFunctionRoomAmenity
"%1 的 承租人 能 pay 去使用 %2 ")
domainEnglishFormat.kif 4062-4062
(
format
ChineseTraditionalLanguage
paidFunctionRoomAmenity
"%1 的 承租人 能 pay 去使用 %2 ")
domainEnglishFormat.kif 4061-4061
(
format
EnglishLanguage
paidFunctionRoomAmenity
"renters of %1 can pay to use %2")
domainEnglishFormat.kif 4060-4060
(
termFormat
EnglishLanguage
paidFunctionRoomAmenity
"free function room amenity")
Hotel.kif 869-869
antecedent
(=>
(
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
If renters of
a kind of hotel function room
can
pay
to use
a kind of physical
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 process
end
s up at
a cognitive agent
and
an object
is an
instance
of
a kind of physical
and
the agent
possess
es
the object
and
the agent
is a
customer
of
the cognitive agent
and
the object
is an
instance
of
process
and
the cognitive agent
is an
agent
of
the object
or
the cognitive agent
experience
s
the object
or
the agent
possess
es
the object
and
the object
is an
instance
of
object
and
the cognitive agent
use
s
the object
,
then there exist
a real number
and
an unit of measure
such that
the object
is
price
the real number
the unit of measure
(s) for
the agent
and
the unit of measure
is an
instance
of
unit of currency
and
the real number
is
greater
than 0
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