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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 28152-28154
(domain rents 1 CognitiveAgent) Mid-level-ontology.kif 28157-28157 The number 1 argument of rents is an instance of cognitive agent
(domain rents 2 CognitiveAgent) Mid-level-ontology.kif 28158-28158 The number 2 argument of rents is an instance of cognitive agent
(domain rents 3 Object) Mid-level-ontology.kif 28159-28159 The number 3 argument of rents is an instance of object
(domain rents 4 TimeInterval) Mid-level-ontology.kif 28160-28160 The number 4 argument of rents is an instance of time interval
(instance rents QuaternaryPredicate) Mid-level-ontology.kif 28151-28151 rents is an instance of quaternary predicate

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 28155-28155 "rents" is the printable form of rents in english language

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 28162-28170

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


(=>
    (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 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