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
Die Zahl 1 Argument von
reservingEntity
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
reservingEntity
2
Reservation
)
Dining.kif 657-657
Die Zahl 2 Argument von
reservingEntity
ist ein
fall
von
Reservation
%n{nicht}
(
instance
reservingEntity
BinaryPredicate
)
Dining.kif 652-652
reservingEntity
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
potentialCustomer
CognitiveAgent
and
** AutonomousAgent
und die Aussage
entity
ist ein
fall
von
Reserving
%n{nicht} und
** entity
endet an
** AutonomousAgent
%n{nicht} hat die modale Kraft von
Necessity
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt
** entity
ES1 um
** entity
ES1 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES1 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES1
RealNumber
und Gesetzt den Fall, dass
customer
** CognitiveAgent
and
** AutonomousAgent
gilt, ist die
wahrscheinlichkeit
von es gibt nicht
** entity
ES2 um
** entity
ES2 ist ein
fall
von
Reservation
%n{nicht} und
reservingEntity
** CognitiveAgent
and
** entity
ES2 und
fulfillingEntity
** AutonomousAgent
and
** entity
ES2
** RealNumber
,
dann
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht}
(=>
(
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
Wenn
numberOfCustomers
PositiveInteger
and
Reservation
und
fulfillingEntity
AutonomousAgent
and
** Reservation
und
reservingEntity
** AutonomousAgent
and
** Reservation
,
dann es gibt
Collection
um
potentialCustomer
** Collection
and
** AutonomousAgent
und
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und
** ** AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht} und
memberCount
** Collection
and
** PositiveInteger
(=>
(
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
Wenn
reservationStart
TimePoint
and
Reservation
und
reservationEnd
** TimePoint
and
** Reservation
und
reservingEntity
AutonomousAgent
and
** Reservation
und
fulfillingEntity
** AutonomousAgent
and
** Reservation
,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
IntentionalProcess
%n{nicht} und
** entity
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** entity
endet an
** AutonomousAgent
%n{nicht} haelt
waehrend
abstand
zwischen
** TimePoint
und
** ** TimePoint
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
Wenn
reservedPackage
Reservation
and
Proposition
und
reservingEntity
** Reservation
and
** Reservation
,
dann die Aussage es gibt
entity
um
** entity
druekt den Inhalt von
** Proposition
aus und
** ** Reservation
erfaehrt
** entity
%n{nicht} hat die modale Kraft von
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
Wenn
reservedRoom
HotelReservation
and
** HotelUnit
und
reservationStart
** HotelReservation
and
Reservation
und
reservationEnd
** HotelReservation
and
** Reservation
und
reservingEntity
** HotelReservation
and
** Reservation
,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
** HotelUnit
%n{nicht} und
stays
** ** Reservation
and
** entity
haelt
waehrend
abstand
zwischen
** Reservation
und
** ** Reservation
%n{nicht} hat die modale Kraft von
Likely
(=>
(
reservingEntity
?ENTITY ?RESERVE)
(
exists
(?P)
(
and
(
instance
?P
Reserving
)
(
agent
?P ?ENTITY)
(
result
?P ?RESERVE))))
Dining.kif 659-665
Wenn
reservingEntity
AutonomousAgent
and
Reservation
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Reserving
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Reservation
ist ein
resultat
von
** Process
%n{nicht}
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