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
allRoomsPolicy
Sigma KEE - allRoomsPolicy
allRoomsPolicy
appearance as argument number 1
(
documentation
allRoomsPolicy
EnglishLanguage
"(
allRoomsPolicy
?INV ?POLICY) means that all rooms in
RoomInventory
?INV have
roomPolicy
?POLICY")
Hotel.kif 226-227
(
domain
allRoomsPolicy
1
RoomInventory
)
Hotel.kif 230-230
The number 1 argument of
room policy in all rooms
is an
instance
of
room inventory
(
domain
allRoomsPolicy
2
Policy
)
Hotel.kif 231-231
The number 2 argument of
room policy in all rooms
is an
instance
of
policy
(
instance
allRoomsPolicy
BinaryPredicate
)
Hotel.kif 225-225
room policy in all rooms
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
allRoomsPolicy
"所有房间在 %1 有政策 %2 ")
domainEnglishFormat.kif 2778-2778
(
format
ChineseTraditionalLanguage
allRoomsPolicy
"所有房間在 %1 有政策 %2 ")
domainEnglishFormat.kif 2777-2777
(
format
EnglishLanguage
allRoomsPolicy
"all rooms in %1 have policy %2")
domainEnglishFormat.kif 2776-2776
(
termFormat
EnglishLanguage
allRoomsPolicy
"room policy in all rooms")
Hotel.kif 228-228
antecedent
(=>
(
allRoomsPolicy
?INV ?POLICY)
(
forall
(?X)
(=>
(
memberType
?INV ?X)
(
roomPolicy
?X ?POLICY))))
Hotel.kif 233-238
If all rooms in
a room inventory
have policy
a policy
,
then for all
a kind of hotel unit
if
a kind of hotel unit
is a
member
type of
the room inventory
,
then
the policy
is a
policy
that applies to
the kind of hotel unit
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