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 6900-6901 | |
(domain tenant 1 AutonomousAgent) | Mid-level-ontology.kif 6903-6903 | tenant の数値 1 引数は AutonomousAgent の instance では %n |
(domain tenant 2 Residence) | Mid-level-ontology.kif 6904-6904 | tenant の数値 2 引数は Residence の instance では %n |
(instance tenant BinaryPredicate) | Mid-level-ontology.kif 6902-6902 | tenant は 2進述語 の instance では %n |
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 57476-57476 | |
(termFormat ChineseTraditionalLanguage tenant "承租人") | domainEnglishFormat.kif 57475-57475 | |
(termFormat EnglishLanguage tenant "tenant") | domainEnglishFormat.kif 57474-57474 |
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 6906-6914 |
|
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 6890-6898 |
|