Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  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 221-222
(domain allRoomsPolicy 1 RoomInventory) Hotel.kif 225-225
(domain allRoomsPolicy 2 Policy) Hotel.kif 226-226
(instance allRoomsPolicy BinaryPredicate) Hotel.kif 220-220

appearance as argument number 2
-------------------------


(format ChineseLanguage allRoomsPolicy "所有房间在 %1 有政策 %2 ") domainEnglishFormat.kif 2779-2779
(format ChineseTraditionalLanguage allRoomsPolicy "所有房間在 %1 有政策 %2 ") domainEnglishFormat.kif 2778-2778
(format EnglishLanguage allRoomsPolicy "all rooms in %1 have policy %2") domainEnglishFormat.kif 2777-2777
(termFormat EnglishLanguage allRoomsPolicy "room policy in all rooms") Hotel.kif 223-223

antecedent
-------------------------


(=>
    (allRoomsPolicy ?INV ?POLICY)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomPolicy ?X ?POLICY))))
Hotel.kif 228-233


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