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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 O argumento numero 1 de allRoomsPolicy e' uma instancia de RoomInventory
(domain allRoomsPolicy 2 Policy) Hotel.kif 231-231 O argumento numero 2 de allRoomsPolicy e' uma instancia de Policy
(instance allRoomsPolicy BinaryPredicate) Hotel.kif 225-225 allRoomsPolicy e' uma instancia de Predicado Binario

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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