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 Le nombre 1 argument de allRoomsPolicy est une instance de RoomInventory
(domain allRoomsPolicy 2 Policy) Hotel.kif 231-231 Le nombre 2 argument de allRoomsPolicy est une instance de Policy
(instance allRoomsPolicy BinaryPredicate) Hotel.kif 225-225 allRoomsPolicy est une instance de pr�dicat binaire

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