rents - Sigma Knowledge base Browser

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 31638-31640
(domain rents 1 AutonomousAgent)	Mid-level-ontology.kif 31647-31647	The number 1 argument of rents is an instance of agent
(domain rents 2 AutonomousAgent)	Mid-level-ontology.kif 31648-31648	The number 2 argument of rents is an instance of agent
(domain rents 3 Object)	Mid-level-ontology.kif 31649-31649	The number 3 argument of rents is an instance of object
(domain rents 4 TimeInterval)	Mid-level-ontology.kif 31650-31650	The number 4 argument of rents is an instance of time interval
(instance rents QuaternaryPredicate)	Mid-level-ontology.kif 31637-31637	rents is an instance of quaternary predicate

appearance as argument number 2

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

antecedent

(=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL)))	Hotel.kif 69-75	If an agent rents an object to another agent during a time interval and traveler accommodation is an attribute of the agent and the object is an instance of hotel unit, then the other agent is a guest at the agent holds during the time interval
(=> (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 31652-31660	If an agent rents an object to another agent during a time interval, then there exists an entity such that the entity is an instance of renting and the object is a patient of the entity and the other agent is an agent of the entity and the agent possesses the object holds during the time interval

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 an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object rents the other entity to the entity during the third entity and the other entity is an instance of hotel unit and the other entity is an element of belongings of the object
(=> (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 a physical is an instance of hotel unit, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is not equal to the other entity and the physical is an element of belongings of the entity and the entity rents the physical to the other entity during the third entity

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