TreeView Knowledge Base Browser - rents

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 29987-29989
(domain rents 1 AutonomousAgent)	Mid-level-ontology.kif 29996-29996	Die Zahl 1 Argument von rents ist ein fall von AutonomousAgent %n{nicht}
(domain rents 2 AutonomousAgent)	Mid-level-ontology.kif 29997-29997	Die Zahl 2 Argument von rents ist ein fall von AutonomousAgent %n{nicht}
(domain rents 3 Object)	Mid-level-ontology.kif 29998-29998	Die Zahl 3 Argument von rents ist ein fall von Object %n{nicht}
(domain rents 4 TimeInterval)	Mid-level-ontology.kif 29999-29999	Die Zahl 4 Argument von rents ist ein fall von TimeInterval %n{nicht}
(instance rents QuaternaryPredicate)	Mid-level-ontology.kif 29986-29986	rents ist ein fall von QuaternaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage rents "%2 rents %3 给 %1 在其间 %4 ")	domainEnglishFormat.kif 4386-4386
(format ChineseTraditionalLanguage rents "%2 rents %3 給 %1 在其間 %4 ")	domainEnglishFormat.kif 4385-4385
(format EnglishLanguage rents "%2 rents %3 to %1 during %4")	domainEnglishFormat.kif 4384-4384
(termFormat EnglishLanguage rents "rents")	Mid-level-ontology.kif 29990-29990

antecedent

(=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL)))	Hotel.kif 69-75	Wenn rents AutonomousAgent, AutonomousAgent, Object and TimeInterval und TravelerAccommodation ist ein attribut von AutonomousAgent %n{nicht} und Object ist ein fall von HotelUnit %n{nicht}, dann guest AutonomousAgent and AutonomousAgent haelt waehrend TimeInterval %n{nicht}
(=> (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 30001-30009	Wenn rents AutonomousAgent, AutonomousAgent, Object and TimeInterval, dann es gibt entity um entity ist ein fall von Renting %n{nicht} und Object ist ein patient von entity %n{nicht} und entity ist der agent von AutonomousAgent %n{nicht} und AutonomousAgent besitzt Object %n{nicht} haelt waehrend TimeInterval %n{nicht}

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	Wenn TravelerAccommodation ist ein attribut von Object %n{nicht}, dann Object hat Zweck von es gibt entity, entity, and und entity um rents entity, Object, entity and entity und entity ist ein fall von HotelUnit %n{nicht} und entity ist ein element von eigentum von Object %n{nicht} %n{nicht}
(=> (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	Wenn Physical ist ein fall von HotelUnit %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und entity um entity ist gleich entity nicht und Physical ist ein element von eigentum von entity %n{nicht} und rents entity, entity, Physical and entity %n{nicht}

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