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

Formal Language: 



KB Term:  Term intersection
English Word: 

  rents

 Sigma KEE - rents
rents

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


(documentation rents EnglishLanguage "(rents ?CUST ?AGENT ?OBJ ?TI) means that for TimeInterval ?TI, CognitiveAgent ?CUST is Renting Object ?OBJ from CognitiveAgent ?AGENT") Mid-level-ontology.kif 28072-28074
(domain rents 1 CognitiveAgent) Mid-level-ontology.kif 28077-28077
(domain rents 2 CognitiveAgent) Mid-level-ontology.kif 28078-28078
(domain rents 3 Object) Mid-level-ontology.kif 28079-28079
(domain rents 4 TimeInterval) Mid-level-ontology.kif 28080-28080
(instance rents QuaternaryPredicate) Mid-level-ontology.kif 28071-28071

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


(format EnglishLanguage rents "%2 rents %3 to %1 during %4") domainEnglishFormat.kif 1107-1107
(termFormat EnglishLanguage rents "rents") Mid-level-ontology.kif 28075-28075

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


(=>
    (and
        (rents ?GUEST ?HOTEL ?ROOM ?TI)
        (attribute ?HOTEL TravelerAccommodation)
        (instance ?ROOM HotelUnit))
    (holdsDuring ?TI
        (guest ?GUEST ?HOTEL)))		 Hotel.kif 64-70
(=>
    (rents ?CUST ?AGENT ?OBJ ?TI)
    (holdsDuring ?TI
        (exists (?RENT)
            (and
                (instance ?RENT Renting)
                (patient ?RENT ?OBJ)
                (agent ?RENT ?CUST)
                (possesses ?AGENT ?OBJ)))))		 Mid-level-ontology.kif 28082-28090

consequent
-------------------------


(=>
    (and
        (instance ?AS AccommodationService)
        (serviceRecipient ?AS ?CUST)
        (serviceProvider ?AS ?H)
        (serviceInstrument ?AS ?ROOM)
        (instance ?CUST Human)
        (instance ?ROOM HotelRoom)
        (instance ?H Hotel-Organization))
    (exists (?RATE ?PS)
        (and
            (instance ?PS PricingScheme)
            (rentalPrice ?ROOM ?RATE ?H ?PS)
            (rents ?CUST ?H ?ROOM
                (MeasureFn 1 DayDuration)))))		 TravelPolicies.kif 1137-1150
(=>
    (attribute ?X TravelerAccommodation)
    (hasPurpose ?X
        (exists (?GUEST ?ROOM)
            (and
                (rents ?GUEST ?X ?ROOM ?TI)
                (instance ?ROOM HotelUnit)
                (element ?ROOM
                    (PropertyFn ?X))))))		 Hotel.kif 45-52
(=>
    (instance ?ROOM HotelUnit)
    (hasPurpose ?ROOM
        (exists (?AGENT ?CUST ?TI)
            (and
                (not
                    (equal ?AGENT ?CUST))
                (element ?ROOM
                    (PropertyFn ?AGENT))
                (rents ?CUST ?AGENT ?ROOM ?TI)))))		 Hotel.kif 105-112


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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