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 6928-6929
(domain tenant 1 AutonomousAgent)	Mid-level-ontology.kif 6931-6931	The number 1 argument of tenant is an instance of agent
(domain tenant 2 Residence)	Mid-level-ontology.kif 6932-6932	The number 2 argument of tenant is an instance of residence
(instance tenant BinaryPredicate)	Mid-level-ontology.kif 6930-6930	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 57478-57478
(termFormat ChineseTraditionalLanguage tenant "承租人")	domainEnglishFormat.kif 57477-57477
(termFormat EnglishLanguage tenant "tenant")	domainEnglishFormat.kif 57476-57476

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 6934-6942

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 6918-6926

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: