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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - paidRoomAmenity
paidRoomAmenity

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


(documentation paidRoomAmenity EnglishLanguage "(paidRoomAmenity ?ROOM ?PHYS) means that there is a fee associated with the use of an object or the rendering of a service") Hotel.kif 369-371
(instance paidRoomAmenity BinaryPredicate) Hotel.kif 368-368 instance paidRoomAmenity and BinaryPredicate
(subrelation paidRoomAmenity roomAmenity) Hotel.kif 367-367 subrelation paidRoomAmenity and roomAmenity

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


(format ChineseLanguage paidRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") domainEnglishFormat.kif 4071-4071
(format ChineseTraditionalLanguage paidRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") domainEnglishFormat.kif 4070-4070
(format EnglishLanguage paidRoomAmenity "renters of %1 can pay to use %2") domainEnglishFormat.kif 4069-4069
(termFormat EnglishLanguage paidRoomAmenity "paid room amenity") Hotel.kif 372-372

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


(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (instance ?O ?OBJ)
            (located ?O ?R)
            (instance ?P Process)
            (agent ?P ?GUEST)
            (or
                (located ?P ?O)
                (patient ?P ?O)
                (instrument ?P ?O)
                (resource ?P ?O)))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))		 Hotel.kif 374-394
(=>
    (and
        (paidRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process))
    (=>
        (and
            (instance ?R ?ROOM)
            (stays ?GUEST ?R)
            (element ?R
                (PropertyFn ?HOTEL))
            (patient ?P ?GUEST)
            (or
                (instance ?P ?PROC)
                (and
                    (instance ?S ?PROC)
                    (subProcess ?P ?S)))
            (located ?P ?R))
        (and
            (price ?P ?PRICE ?HOTEL)
            (greaterThan ?PRICE
                (MeasureFn 0 UnitedStatesDollar)))))		 Hotel.kif 396-414


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