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 7674-7675
(domain tenant 1 AutonomousAgent)	Mid-level-ontology.kif 7677-7677	The number 1 argument of tenant is an instance of agent
(domain tenant 2 Residence)	Mid-level-ontology.kif 7678-7678	The number 2 argument of tenant is an instance of residence
(instance tenant BinaryPredicate)	Mid-level-ontology.kif 7676-7676	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 7680-7688

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 7664-7672

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: