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
O argumento numero 1 de
reservingEntity
e' uma
instancia
de
AutonomousAgent
(
domain
reservingEntity
2
Reservation
)
Dining.kif 657-657
O argumento numero 2 de
reservingEntity
e' uma
instancia
de
Reservation
(
instance
reservingEntity
BinaryPredicate
)
Dining.kif 652-652
reservingEntity
e' uma
instancia
de
Predicado Binario
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
e' uma
instancia
de
AutonomousAgent
potentialCustomer
Agente Cognitivo
and
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Reserving
Entidade
termina
em
AutonomousAgent
tem a
forca
modal
de
Necessity
a
probabilidade
de
Entidade
ES1
Entidade
ES1 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES1
fulfillingEntity
AutonomousAgent
and
Entidade
ES1 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
a
probabilidade
de
Entidade
ES2
Entidade
ES2 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES2
fulfillingEntity
AutonomousAgent
and
Entidade
ES2 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
(=>
(
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
Inteiro positivo
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
Colecao
potentialCustomer
Colecao
and
AutonomousAgent
Colecao
e' uma
instancia
de
GroupOfPeople
AutonomousAgent
e'
membro
de
Colecao
memberCount
Colecao
and
Inteiro positivo
(=>
(
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
Ponto no tempo
and
Reservation
reservationEnd
Ponto no tempo
and
Reservation
reservingEntity
AutonomousAgent
and
Reservation
fulfillingEntity
AutonomousAgent
and
Reservation
o argumento
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
agente
de
AutonomousAgent
Entidade
termina
em
AutonomousAgent
vale
durante o
intervalo
entre
Ponto no tempo
e
Ponto no tempo
tem a
forca
modal
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
Proposicao
reservingEntity
Reservation
and
Reservation
o argumento
Entidade
Entidade
exprime
o conteudo de
Proposicao
Reservation
experimenta
Entidade
tem a
forca
modal
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
o argumento
Entidade
Entidade
e' uma
instancia
de
HotelUnit
stays
Reservation
and
Entidade
vale
durante o
intervalo
entre
Reservation
e
Reservation
tem a
forca
modal
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
Processo
Processo
e' uma
instancia
de
Reserving
Processo
e' um
agente
de
AutonomousAgent
Reservation
e' o
resultado
de
Processo
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