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 7119-7120
(domain tenant 1 AutonomousAgent)	Mid-level-ontology.kif 7122-7122	The number 1 argument of tenant is an instance of agent
(domain tenant 2 Residence)	Mid-level-ontology.kif 7123-7123	The number 2 argument of tenant is an instance of residence
(instance tenant BinaryPredicate)	Mid-level-ontology.kif 7121-7121	tenant is an instance of binary predicate

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 57513-57513
(termFormat ChineseTraditionalLanguage tenant "承租人")	domainEnglishFormat.kif 57512-57512
(termFormat EnglishLanguage tenant "tenant")	domainEnglishFormat.kif 57511-57511

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 7125-7133

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 7109-7117

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: