tenant - Sigma Knowledge base Browser

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 8081-8082
(domain tenant 1 AutonomousAgent)	Mid-level-ontology.kif 8084-8084	The number 1 argument of tenant is an instance of agent
(domain tenant 2 Residence)	Mid-level-ontology.kif 8085-8085	The number 2 argument of tenant is an instance of residence
(instance tenant BinaryPredicate)	Mid-level-ontology.kif 8083-8083	tenant is an instance of binary predicate

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 8087-8095

If a permanent residence is a tenant of an agent,
then there exist another agent and a process such that the process is an instance of renting and the permanent residence is a landlord of the other agent and the agent is an agent of the process and the other agent possesses the permanent residence and the permanent residence is a patient of the process

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 8071-8079

If a permanent residence is a landlord of an agent,
then there exist a process and another agent such that the agent possesses the permanent residence and the permanent residence is a tenant of the other agent and the other agent is an agent of the process and the process is an instance of renting and the permanent residence is a patient of the process

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

KB Term:			Term intersection

English Word: