Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - tenant
tenant

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 Le nombre 1 argument de tenant est une instance de AutonomousAgent
(domain tenant 2 Residence) Mid-level-ontology.kif 6932-6932 Le nombre 2 argument de tenant est une instance de Residence
(instance tenant BinaryPredicate) Mid-level-ontology.kif 6930-6930 tenant est une instance de pr�dicat binaire

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

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


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