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 384-386
(domainSubclass paidRoomAmenity 1 HotelUnit) Hotel.kif 382-382 The number 1 argument of paid room amenity is a subclass of hotel unit
(domainSubclass paidRoomAmenity 2 Physical) Hotel.kif 383-383 The number 2 argument of paid room amenity is a subclass of physical
(instance paidRoomAmenity BinaryPredicate) Hotel.kif 381-381 paid room amenity is an instance of binary predicate
(subrelation paidRoomAmenity roomAmenity) Hotel.kif 380-380 paid room amenity is a subrelation of room amenity

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


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

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


(=>
    (and
        (paidRoomAmenity ?ROOM ?OBJ)
        (subclass ?OBJ Object)
        (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 ?R)
            (patient ?P ?O)
            (instrument ?P ?O)
            (resource ?P ?O)))
    (exists (?PRICE ?U)
        (and
            (price ?O
                (MeasureFn ?PRICE ?U) ?GUEST)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 396-417
(=>
    (and
        (paidRoomAmenity ?ROOM ?PROC)
        (subclass ?PROC Process)
        (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))
    (exists (?PRICE ?U)
        (and
            (price ?P
                (MeasureFn ?PRICE ?U) ?GUEST)
            (instance ?U UnitOfCurrency)
            (greaterThan ?PRICE 0))))
Hotel.kif 419-438


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