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 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


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