| 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 7674-7675 | |
| (domain tenant 1 AutonomousAgent) | Mid-level-ontology.kif 7677-7677 | Le nombre 1 argument de tenant est une instance de AutonomousAgent |
| (domain tenant 2 Residence) | Mid-level-ontology.kif 7678-7678 | Le nombre 2 argument de tenant est une instance de Residence |
| (instance tenant BinaryPredicate) | Mid-level-ontology.kif 7676-7676 | tenant est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage tenant "%2 %n 是 %1 的 tenant ") | domainEnglishFormat.kif 2451-2451 | |
| (format ChineseTraditionalLanguage tenant "%2 %n 是 %1 的 tenant ") | domainEnglishFormat.kif 2450-2450 | |
| (format EnglishLanguage tenant "%2 is %n a tenant of %1") | domainEnglishFormat.kif 2449-2449 | |
| (termFormat ChineseLanguage tenant "承租人") | domainEnglishFormat.kif 57511-57511 | |
| (termFormat ChineseTraditionalLanguage tenant "承租人") | domainEnglishFormat.kif 57510-57510 | |
| (termFormat EnglishLanguage tenant "tenant") | domainEnglishFormat.kif 57509-57509 |
| 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 7680-7688 |
|
| 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 7664-7672 |
|
|
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