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
allRoomsServiceAmenity
Sigma KEE - allRoomsServiceAmenity
allRoomsServiceAmenity
appearance as argument number 1
(
documentation
allRoomsServiceAmenity
EnglishLanguage
"(
allRoomsServiceAmenity
?INV ?SVC) means that all rooms in
RoomInventory
?INV have
roomAmenity
?SVC")
Hotel.kif 211-212
(
domain
allRoomsServiceAmenity
1
RoomInventory
)
Hotel.kif 215-215
Die Zahl 1 Argument von
allRoomsServiceAmenity
ist ein
fall
von
RoomInventory
%n{nicht}
(
domainSubclass
allRoomsServiceAmenity
2
ServiceProcess
)
Hotel.kif 216-216
Die Zahl 2 Argument von
allRoomsServiceAmenity
ist eine
teilkategorie
von
ServiceProcess
%n{nicht}
(
instance
allRoomsServiceAmenity
BinaryPredicate
)
Hotel.kif 210-210
allRoomsServiceAmenity
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
allRoomsServiceAmenity
"所有房间在在 %1 有服务 %2 ")
domainEnglishFormat.kif 2782-2782
(
format
ChineseTraditionalLanguage
allRoomsServiceAmenity
"所有房間在在 %1 有服務 %2 ")
domainEnglishFormat.kif 2781-2781
(
format
EnglishLanguage
allRoomsServiceAmenity
"all rooms in %1 have service %2")
domainEnglishFormat.kif 2780-2780
(
termFormat
EnglishLanguage
allRoomsServiceAmenity
"service amenity in all rooms")
Hotel.kif 213-213
antecedent
(=>
(
allRoomsServiceAmenity
?INV ?OBJ)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomAmenity
?X ?OBJ))))
Hotel.kif 218-223
Wenn
allRoomsServiceAmenity
RoomInventory
and
** Physical
,
dann fuer alle
** HotelUnit
wenn
memberType
** RoomInventory
and
** HotelUnit
,
dann
roomAmenity
** ** HotelUnit
and
** Physical
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