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 28183-28185
(domain rents 1 CognitiveAgent) Mid-level-ontology.kif 28188-28188 The number 1 argument of rents is an instance of cognitive agent
(domain rents 2 CognitiveAgent) Mid-level-ontology.kif 28189-28189 The number 2 argument of rents is an instance of cognitive agent
(domain rents 3 Object) Mid-level-ontology.kif 28190-28190 The number 3 argument of rents is an instance of object
(domain rents 4 TimeInterval) Mid-level-ontology.kif 28191-28191 The number 4 argument of rents is an instance of time interval
(instance rents QuaternaryPredicate) Mid-level-ontology.kif 28182-28182 rents is an instance of quaternary predicate

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


(format ChineseLanguage rents "%2 rents %3 给 %1 在其间 %4 ") domainEnglishFormat.kif 4391-4391
(format ChineseTraditionalLanguage rents "%2 rents %3 給 %1 在其間 %4 ") domainEnglishFormat.kif 4390-4390
(format EnglishLanguage rents "%2 rents %3 to %1 during %4") domainEnglishFormat.kif 4389-4389
(termFormat EnglishLanguage rents "rents") Mid-level-ontology.kif 28186-28186

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 28193-28201

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


(=>
    (attribute ?X TravelerAccommodation)
    (hasPurpose ?X
        (exists (?GUEST ?ROOM ?TI)
            (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 3.0 is open source software produced by Articulate Software and its partners