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 paidRoomAmenity の数値 1 引数は HotelUnitsubclass では %n
(domainSubclass paidRoomAmenity 2 Physical) Hotel.kif 383-383 paidRoomAmenity の数値 2 引数は 物理subclass では %n
(instance paidRoomAmenity BinaryPredicate) Hotel.kif 381-381 paidRoomAmenity2進述語instance では %n
(subrelation paidRoomAmenity roomAmenity) Hotel.kif 380-380 paidRoomAmenityroomAmenitysubrelation では %n

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