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
guest
Sigma KEE - guest
guest
appearance as argument number 1
(
documentation
guest
EnglishLanguage
"
guest
refers to the
customer
living in a
TemporaryResidence
for the duration of his stay there")
Hotel.kif 57-58
(
domain
guest
1
CognitiveAgent
)
Hotel.kif 66-66
Die Zahl 1 Argument von
guest
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
domain
guest
2
AutonomousAgent
)
Hotel.kif 67-67
Die Zahl 2 Argument von
guest
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
guest
BinaryPredicate
)
Hotel.kif 56-56
guest
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
guest
customer
)
Hotel.kif 55-55
guest
ist eine
teilrelation
von
customer
appearance as argument number 2
(
format
ChineseLanguage
guest
"%1 是在 %2 的
guest
")
domainEnglishFormat.kif 3566-3566
(
format
ChineseTraditionalLanguage
guest
"%1 是在 %2 的
guest
")
domainEnglishFormat.kif 3565-3565
(
format
EnglishLanguage
guest
"%1 is a
guest
at %2")
domainEnglishFormat.kif 3564-3564
(
termFormat
EnglishLanguage
guest
"guest")
Hotel.kif 59-59
antecedent
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
Wenn
checkOutTime
CognitiveAgent
and
TimePoint
und
guest
** CognitiveAgent
and
** CognitiveAgent
,
dann
expects
** CognitiveAgent
and es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
** TimePoint
%n{nicht} und
** ** CognitiveAgent
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
ist ein
fall
von
CheckOutService
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und der
anfang
von die
zeit
des Bestehens von
** ** entity
geschieht
vor
** entity
%n{nicht}
(=>
(
and
(
employs
?HOTEL ?ATHLETE)
(
attribute
?HOTEL
TravelerAccommodation
)
(
attribute
?ATHLETE
TennisProfessional
)
(
guest
?CUST ?HOTEL))
(
modalAttribute
(
exists
(?TENNIS ?LOC)
(
and
(
instance
?TENNIS
Tennis
)
(
contestParticipant
?TENNIS ?ATHLETE)
(
contestParticipant
?TENNIS ?CUST)
(
located
?TENNIS ?LOC)
(
located
?HOTEL ?LOC)))
Possibility
))
Hotel.kif 1522-1535
Wenn
AutonomousAgent
beschaeftigt
CognitiveAgent
%n{nicht} und
TravelerAccommodation
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
TennisProfessional
ist ein
attribut
von
** CognitiveAgent
%n{nicht} und
guest
** CognitiveAgent
and
** AutonomousAgent
,
dann die Aussage es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Tennis
%n{nicht} und
contestParticipant
** entity
and
** CognitiveAgent
und
contestParticipant
** entity
and
** ** CognitiveAgent
und
** entity
befindet
sich an %n{nicht} und
** AutonomousAgent
befindet
sich an %n{nicht} hat die modale Kraft von
Possibility
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
Wenn
guest
Human
and
AutonomousAgent
und
stays
** Human
and
TemporaryResidence
und
** TemporaryResidence
ist ein
element
von
eigentum
von
** AutonomousAgent
%n{nicht} und
** TemporaryResidence
ist ein
fall
von
** TemporaryResidence
OOM %n{nicht} und
roomAmenity
** TemporaryResidence
OOM and
** Physical
und
** Physical
ist eine
teilkategorie
von
Object
,
dann es gibt
** Physical
um
** ** Physical
ist ein
fall
von
** ** Physical
%n{nicht} und
** ** Physical
befindet
sich an %n{nicht} und
** AutonomousAgent
erlaubt
** Human
, die Aufgabe der Art von es gibt
entity
um
** entity
ist der
agent
von
** Human
%n{nicht} und
** ** Physical
ist ein
instrument
fuer
** entity
%n{nicht} oder
** ** Physical
ist ein
patient
von
** entity
%n{nicht} oder
** ** Physical
ist ein
hilfmittel
fuer
** entity
%n{nicht} durchzuf�hren %n{nicht}
(=>
(
and
(
offers
?HOTEL ?MP)
(
instance
?MP
MealPlan
)
(
includedMeal
?MP ?ATTR)
(
attribute
?HOTEL
TravelerAccommodation
)
(
guest
?GUEST ?HOTEL)
(
buys
?GUEST ?HOTEL ?MP))
(
holdsDuring
(
WhenFn
(
guest
?GUEST ?HOTEL))
(
exists
(?TI)
(
holdsDuring
?TI
(
exists
(?MEAL)
(
and
(
attribute
?MEAL ?ATTR)
(
hasPurpose
?MEAL
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?GUEST)
(
patient
?E ?MEAL))))))))))
Hotel.kif 1558-1578
Wenn
offers
AutonomousAgent
and
MealPlan
und
** MealPlan
ist ein
fall
von
MealPlan
%n{nicht} und
includedMeal
** MealPlan
and
RelationalAttribute
und
TravelerAccommodation
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
guest
CognitiveAgent
and
** AutonomousAgent
und
buys
** CognitiveAgent
,
** AutonomousAgent
and
** MealPlan
,
dann es gibt
entity
um es gibt
** entity
um
** RelationalAttribute
ist ein
attribut
von
** ** entity
%n{nicht} und
** ** entity
hat Zweck von es gibt
** entity
um
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} %n{nicht} haelt
waehrend
** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
guest
** CognitiveAgent
and
** AutonomousAgent
%n{nicht}
consequent
(=>
(
and
(
instance
?POLICY
DailyHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY))
(
modalAttribute
(
exists
(?GUEST ?ROOM ?STAY)
(
and
(
guest
?GUEST ?AGENT)
(
stays
?GUEST ?ROOM)
(
equal
?STAY
(
WhenFn
(
stays
?GUEST ?ROOM)))
(
holdsDuring
?STAY
(
forall
(?DAY)
(=>
(
and
(
instance
?DAY
Day
)
(
during
?DAY ?STAY))
(
exists
(?RC)
(
and
(
instance
?RC
RoomCleaningService
)
(
patient
?RC ?ROOM)
(
during
?RC ?DAY))))))))
Likely
))
Hotel.kif 2654-2674
Wenn
Policy
ist ein
fall
von
DailyHousekeepingPolicy
%n{nicht} und
policyOwner
Organization
and
** Policy
,
dann die Aussage es gibt
entity
,
** entity
, and und
** entity
um
guest
** entity
and
** Organization
und
stays
** entity
and
** ** entity
und
** ** entity
ist gleich die
zeit
des Bestehens von
stays
** entity
and
** ** entity
%n{nicht} und fuer alle
** entity
wenn
** ** entity
ist ein
fall
von
Day
%n{nicht} und
** ** entity
geschieht
waehrend
** ** entity
%n{nicht},
dann es gibt
** entity
um
** ** entity
ist ein
fall
von
RoomCleaningService
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} und
** ** entity
geschieht
waehrend
** ** entity
%n{nicht}
haelt
waehrend
** ** entity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?POLICY
NoHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
not
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM)))))))
Likely
))
Hotel.kif 2681-2697
Wenn
Policy
ist ein
fall
von
NoHousekeepingPolicy
%n{nicht} und
policyOwner
Organization
and
** Policy
und
TravelerAccommodation
ist ein
attribut
von
** Organization
%n{nicht},
dann die Aussage es gibt
entity
und
** entity
um
guest
** entity
and
** Organization
und es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
RoomCleaningService
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
stays
** entity
and
** ** entity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?POLICY
WithHousekeepingPolicy
)
(
policyOwner
?AGENT ?POLICY)
(
attribute
?AGENT
TravelerAccommodation
))
(
modalAttribute
(
exists
(?GUEST ?ROOM)
(
and
(
guest
?GUEST ?AGENT)
(
holdsDuring
(
WhenFn
(
stays
?GUEST ?ROOM))
(
exists
(?CLEAN)
(
and
(
instance
?CLEAN
RoomCleaningService
)
(
patient
?CLEAN ?ROOM))))))
Likely
))
Hotel.kif 2704-2719
Wenn
Policy
ist ein
fall
von
WithHousekeepingPolicy
%n{nicht} und
policyOwner
Organization
and
** Policy
und
TravelerAccommodation
ist ein
attribut
von
** Organization
%n{nicht},
dann die Aussage es gibt
entity
und
** entity
um
guest
** entity
and
** Organization
und es gibt
** entity
um
** ** entity
ist ein
fall
von
RoomCleaningService
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
stays
** entity
and
** ** entity
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
offers
?HOTEL ?MP)
(
instance
?MP
MealPlan
)
(
includedMeal
?MP ?ATTR)
(
attribute
?HOTEL
TravelerAccommodation
)
(
guest
?GUEST ?HOTEL)
(
buys
?GUEST ?HOTEL ?MP))
(
holdsDuring
(
WhenFn
(
guest
?GUEST ?HOTEL))
(
exists
(?TI)
(
holdsDuring
?TI
(
exists
(?MEAL)
(
and
(
attribute
?MEAL ?ATTR)
(
hasPurpose
?MEAL
(
exists
(?E)
(
and
(
instance
?E
Eating
)
(
agent
?E ?GUEST)
(
patient
?E ?MEAL))))))))))
Hotel.kif 1558-1578
Wenn
offers
AutonomousAgent
and
MealPlan
und
** MealPlan
ist ein
fall
von
MealPlan
%n{nicht} und
includedMeal
** MealPlan
and
RelationalAttribute
und
TravelerAccommodation
ist ein
attribut
von
** AutonomousAgent
%n{nicht} und
guest
CognitiveAgent
and
** AutonomousAgent
und
buys
** CognitiveAgent
,
** AutonomousAgent
and
** MealPlan
,
dann es gibt
entity
um es gibt
** entity
um
** RelationalAttribute
ist ein
attribut
von
** ** entity
%n{nicht} und
** ** entity
hat Zweck von es gibt
** entity
um
** ** entity
ist ein
fall
von
Eating
%n{nicht} und
** ** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} und
** ** entity
ist ein
patient
von
** ** entity
%n{nicht} %n{nicht} haelt
waehrend
** entity
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
guest
** CognitiveAgent
and
** AutonomousAgent
%n{nicht}
(=>
(
and
(
propositionOwner
?AGENT ?HP)
(
instance
?HP
HotelPackage
)
(
accommodationProvider
?HP ?HOTEL)
(
roomStay
?HP ?NUM ?ROOM)
(
instance
?R ?ROOM)
(
element
?R
(
PropertyFn
?HOTEL))
(
buys
?CUST ?AGENT ?HP))
(
exists
(?TI)
(
and
(
equal
?TI
(
MeasureFn
?NUM
DayDuration
))
(
holdsDuring
?TI
(
guest
?CUST ?HOTEL)))))
Hotel.kif 2744-2757
Wenn
propositionOwner
CognitiveAgent
and
HotelPackage
und
** HotelPackage
ist ein
fall
von
HotelPackage
%n{nicht} und
accommodationProvider
** HotelPackage
and
Organization
und
roomStay
** HotelPackage
,
Integer
and
** HotelUnit
und
Entity
ist ein
fall
von
** HotelUnit
%n{nicht} und
** Entity
ist ein
element
von
eigentum
von
** Organization
%n{nicht} und
buys
** CognitiveAgent
,
** CognitiveAgent
and
** HotelPackage
,
dann es gibt
TimePosition
um
** TimePosition
ist gleich
** Integer
DayDuration
(s) %n{nicht} und
guest
** ** CognitiveAgent
and
** Organization
haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
rents
?GUEST ?HOTEL ?ROOM ?TI)
(
attribute
?HOTEL
TravelerAccommodation
)
(
instance
?ROOM
HotelUnit
))
(
holdsDuring
?TI
(
guest
?GUEST ?HOTEL)))
Hotel.kif 69-75
Wenn
rents
AutonomousAgent
,
** AutonomousAgent
,
Object
and
TimeInterval
und
TravelerAccommodation
ist ein
attribut
von
** ** AutonomousAgent
%n{nicht} und
** Object
ist ein
fall
von
HotelUnit
%n{nicht},
dann
guest
** AutonomousAgent
and
** ** AutonomousAgent
haelt
waehrend
** TimeInterval
%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