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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - allRoomsPhysicalAmenity
allRoomsPhysicalAmenity

appearance as argument number 1
-------------------------


(documentation allRoomsPhysicalAmenity EnglishLanguage "(allRoomsPhysicalAmenity ?INV ?OBJ) means that all rooms in RoomInventory ?INV have roomAmenity ?OBJ") Hotel.kif 159-160
(domain allRoomsPhysicalAmenity 1 RoomInventory) Hotel.kif 163-163 The number 1 argument of physical amenity in all rooms is an instance of room inventory
(domainSubclass allRoomsPhysicalAmenity 2 Object) Hotel.kif 164-164 The number 2 argument of physical amenity in all rooms is a subclass of object
(instance allRoomsPhysicalAmenity BinaryPredicate) Hotel.kif 158-158 physical amenity in all rooms is an instance of binary predicate

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


(format ChineseLanguage allRoomsPhysicalAmenity "all rooms 在 %1 有 %2 ") domainEnglishFormat.kif 2771-2771
(format ChineseTraditionalLanguage allRoomsPhysicalAmenity "all rooms 在 %1 有 %2 ") domainEnglishFormat.kif 2770-2770
(format EnglishLanguage allRoomsPhysicalAmenity "all rooms in %1 have %2") domainEnglishFormat.kif 2769-2769
(termFormat EnglishLanguage allRoomsPhysicalAmenity "physical amenity in all rooms") Hotel.kif 161-161

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


(=>
    (allRoomsPhysicalAmenity ?INV ?OBJ)
    (forall (?X)
        (=>
            (memberType ?INV ?X)
            (roomAmenity ?X ?OBJ))))
Hotel.kif 166-171


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners