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 allRoomsPolicy 的 1 数量 是 RoomInventory 的 instance
(domain allRoomsPolicy 2 Policy) Hotel.kif 231-231 allRoomsPolicy 的 2 数量 是 Policy 的 instance
(instance allRoomsPolicy BinaryPredicate) Hotel.kif 225-225 allRoomsPolicy 是 二元谓语 的 instance

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