tenant |
appearance as argument number 1 |
(documentation tenant EnglishLanguage "(tenant ?PERSON ?UNIT) means that ?PERSON is a tenant of the Residence ?UNIT, i.e. he or she is renting the unit.") | Mid-level-ontology.kif 6928-6929 | |
(domain tenant 1 AutonomousAgent) | Mid-level-ontology.kif 6931-6931 | Le nombre 1 argument de tenant est une instance de AutonomousAgent |
(domain tenant 2 Residence) | Mid-level-ontology.kif 6932-6932 | Le nombre 2 argument de tenant est une instance de Residence |
(instance tenant BinaryPredicate) | Mid-level-ontology.kif 6930-6930 | tenant est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage tenant "%2 %n 是 %1 的 tenant ") | domainEnglishFormat.kif 2447-2447 | |
(format ChineseTraditionalLanguage tenant "%2 %n 是 %1 的 tenant ") | domainEnglishFormat.kif 2446-2446 | |
(format EnglishLanguage tenant "%2 is %n a tenant of %1") | domainEnglishFormat.kif 2445-2445 | |
(termFormat ChineseLanguage tenant "承租人") | domainEnglishFormat.kif 57478-57478 | |
(termFormat ChineseTraditionalLanguage tenant "承租人") | domainEnglishFormat.kif 57477-57477 | |
(termFormat EnglishLanguage tenant "tenant") | domainEnglishFormat.kif 57476-57476 |
antecedent |
(=> (tenant ?P ?U) (exists (?L ?R) (and (instance ?R Renting) (landlord ?L ?U) (agent ?R ?P) (possesses ?L ?U) (patient ?R ?U)))) |
Mid-level-ontology.kif 6934-6942 |
|
consequent |
(=> (landlord ?L ?U) (exists (?R ?P) (and (possesses ?L ?U) (tenant ?P ?U) (agent ?R ?P) (instance ?R Renting) (patient ?R ?U)))) |
Mid-level-ontology.kif 6918-6926 |
|