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
reservingEntity
Sigma KEE - reservingEntity
reservingEntity
appearance as argument number 1
(
documentation
reservingEntity
EnglishLanguage
"(
reservingEntity
?ENTITY ?RESERVE) means that ?ENTITY is the
AutonomousAgent
reserving a particular resource indicated by ?RESERVE")
Dining.kif 653-655
(
domain
reservingEntity
1
AutonomousAgent
)
Dining.kif 656-656
Le nombre 1 argument de
reservingEntity
est une
instance
de
AutonomousAgent
(
domain
reservingEntity
2
Reservation
)
Dining.kif 657-657
Le nombre 2 argument de
reservingEntity
est une
instance
de
Reservation
(
instance
reservingEntity
BinaryPredicate
)
Dining.kif 652-652
reservingEntity
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
reservingEntity
"%1 reserves %2 ")
domainEnglishFormat.kif 4418-4418
(
format
ChineseTraditionalLanguage
reservingEntity
"%1 reserves %2 ")
domainEnglishFormat.kif 4417-4417
(
format
EnglishLanguage
reservingEntity
"%1 reserves %2")
domainEnglishFormat.kif 4416-4416
(
termFormat
EnglishLanguage
reservingEntity
"reserving entity")
domainEnglishFormat.kif 65926-65926
antecedent
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
potentialCustomer
?CUST ?AGENT)
(
modalAttribute
(
and
(
instance
?R
Reserving
)
(
destination
?R ?AGENT))
Necessity
)
(
conditionalProbability
(
exists
(?RES1)
(
and
(
instance
?RES1
Reservation
)
(
reservingEntity
?CUST ?RES1)
(
fulfillingEntity
?AGENT ?RES1)))
(
customer
?CUST ?AGENT) ?NUM1)
(
conditionalProbability
(
not
(
exists
(?RES2)
(
and
(
instance
?RES2
Reservation
)
(
reservingEntity
?CUST ?RES2)
(
fulfillingEntity
?AGENT ?RES2))))
(
customer
?CUST ?AGENT) ?NUM2))
(
lessThan
?NUM2 ?NUM1))
Dining.kif 772-795
AutonomousAgent
est une
instance
de
AutonomousAgent
potentialCustomer
agent cognitif
and
AutonomousAgent
l'argument
entit�
est une
instance
de
Reserving
entit�
aboutit
�
AutonomousAgent
a la
force
modale
de
Necessity
la
probabilit
� de
entit�
ES1
entit�
ES1 est une
instance
de
Reservation
reservingEntity
agent cognitif
and
entit�
ES1
fulfillingEntity
AutonomousAgent
and
entit�
ES1 pourvu que
customer
agent cognitif
and
AutonomousAgent
vaut
nombre r�el
la
probabilit
� de
entit�
ES2
entit�
ES2 est une
instance
de
Reservation
reservingEntity
agent cognitif
and
entit�
ES2
fulfillingEntity
AutonomousAgent
and
entit�
ES2 pourvu que
customer
agent cognitif
and
AutonomousAgent
vaut
nombre r�el
nombre r�el
est
moins
que
nombre r�el
(=>
(
and
(
numberOfCustomers
?NUM ?RESERVE)
(
fulfillingEntity
?AGENT ?RESERVE)
(
reservingEntity
?CUST ?RESERVE))
(
exists
(?GRP)
(
and
(
potentialCustomer
?GRP ?AGENT)
(
instance
?GRP
GroupOfPeople
)
(
member
?CUST ?GRP)
(
memberCount
?GRP ?NUM))))
Dining.kif 732-742
numberOfCustomers
nombre entier positif
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
collection
potentialCustomer
collection
and
AutonomousAgent
collection
est une
instance
de
GroupOfPeople
AutonomousAgent
est un
membre
de
collection
memberCount
collection
and
nombre entier positif
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
reservationStart
point temporel
and
Reservation
reservationEnd
point temporel
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
l'argument
entit�
entit�
est une
instance
de
processus intentionnel
entit�
est un
agent
de
AutonomousAgent
entit�
aboutit
�
AutonomousAgent
pendant
l'
intervale
entre
point temporel
et
point temporel
a la
force
modale
de
Likely
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
reservedPackage
Reservation
and
proposition
reservingEntity
Reservation
and
Reservation
l'argument
entit�
entit�
exprime
le contenu de
proposition
Reservation
exp
�rimente
entit�
a la
force
modale
de
Likely
(=>
(
and
(
reservedRoom
?RESERVE ?ROOMTYPE)
(
reservationStart
?RESERVE ?TIME1)
(
reservationEnd
?RESERVE ?TIME2)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?X)
(
and
(
instance
?X ?ROOMTYPE)
(
stays
?CUST ?X))))
Likely
))
Hotel.kif 2951-2963
reservedRoom
HotelReservation
and
HotelUnit
reservationStart
HotelReservation
and
Reservation
reservationEnd
HotelReservation
and
Reservation
reservingEntity
HotelReservation
and
Reservation
l'argument
entit�
entit�
est une
instance
de
HotelUnit
stays
Reservation
and
entit�
pendant
l'
intervale
entre
Reservation
et
Reservation
a la
force
modale
de
Likely
(=>
(
reservingEntity
?ENTITY ?RESERVE)
(
exists
(?P)
(
and
(
instance
?P
Reserving
)
(
agent
?P ?ENTITY)
(
result
?P ?RESERVE))))
Dining.kif 659-665
reservingEntity
AutonomousAgent
and
Reservation
processus
processus
est une
instance
de
Reserving
processus
est un
agent
de
AutonomousAgent
Reservation
est le
resultat
de
processus
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