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


KB Term:  Term intersection
English Word: 

  rents

 Sigma KEE - rents
rents

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


(instance rents QuaternaryPredicate) Mid-level-ontology.kif 32585-32585 rents is an instance of quaternary predicate
(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 32586-32588 rents is an instance of quaternary predicate
(domain rents 1 AutonomousAgent) Mid-level-ontology.kif 32595-32595 The number 1 argument of rents is an instance of agent
(domain rents 2 AutonomousAgent) Mid-level-ontology.kif 32596-32596 The number 2 argument of rents is an instance of agent
(domain rents 3 Object) Mid-level-ontology.kif 32597-32597 The number 3 argument of rents is an instance of object
(domain rents 4 TimeInterval) Mid-level-ontology.kif 32598-32598 The number 4 argument of rents is an instance of timeframe

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


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

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


(=>
    (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 32600-32608 If X rents Y to Z during W, then there exists V such that V is an instance of renting, Y is a patient of V, Z is an agent of V, and X possesses Y holds during W
(=>
    (and
        (rents ?GUEST ?HOTEL ?ROOM ?TI)
        (attribute ?HOTEL TravelerAccommodation)
        (instance ?ROOM HotelUnit))
    (holdsDuring ?TI
        (guest ?GUEST ?HOTEL)))		 Hotel.kif 69-75 If X rents Y to Z during W, traveler accommodation is an attribute of X, and Y is an instance of hotel unit, then Z is a guest at X holds during W

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 If traveler accommodation is an attribute of X, then X has the purpose there exist Y, Z, W such that X rents Z to Y during W, Z is an instance of hotel unit, and Z is an element of belongings of X
(=>
    (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 110-117 If X is an instance of hotel unit, then X has the purpose there exist Y, Z, W such that equal Y, Z, X is an element of belongings of Y, and Y rents X to Z during W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners