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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - someRoomsServiceAmenity
someRoomsServiceAmenity

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


(documentation someRoomsServiceAmenity EnglishLanguage "(someRoomsServiceAmenity ?INV ?SVC) means that there are rooms in RoomInventory ?INV that have roomAmenity ?SVC") Hotel.kif 190-192
(domain someRoomsServiceAmenity 1 RoomInventory) Hotel.kif 195-195 The number 1 argument of service amenity in some rooms is an instance of room inventory
(domainSubclass someRoomsServiceAmenity 2 ServiceProcess) Hotel.kif 196-196 The number 2 argument of service amenity in some rooms is a subclass of service
(instance someRoomsServiceAmenity BinaryPredicate) Hotel.kif 189-189 service amenity in some rooms is an instance of binary predicate

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


(format ChineseLanguage someRoomsServiceAmenity "some rooms 在 %1 有 %2 ") domainEnglishFormat.kif 4575-4575
(format ChineseTraditionalLanguage someRoomsServiceAmenity "some rooms 在 %1 有 %2 ") domainEnglishFormat.kif 4574-4574
(format EnglishLanguage someRoomsServiceAmenity "some rooms in %1 have %2") domainEnglishFormat.kif 4573-4573
(termFormat EnglishLanguage someRoomsServiceAmenity "service amenity in some rooms") Hotel.kif 193-193

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


(=>
    (someRoomsServiceAmenity ?INV ?SVC)
    (exists (?X)
        (and
            (memberType ?INV ?X)
            (roomAmenity ?X ?SVC))))
Hotel.kif 198-203


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