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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - landlord
landlord

appearance as argument number 1
-------------------------


s__documentation(s__landlord__m,s__EnglishLanguage,'"(landlord ?PERSON ?UNIT) means that ?PERSON is a landlord of the Residence ?UNIT, i.e. he or she owns ?UNIT and is renting the unit to someone else."')

Mid-level-ontology.kif 6450-6452
s__domain(s__landlord__m,n__1,s__Agent)

Mid-level-ontology.kif 6454-6454 The number 1 argument of landlord is an instance of agent
s__domain(s__landlord__m,n__2,s__PermanentResidence)

Mid-level-ontology.kif 6455-6455 The number 2 argument of landlord is an instance of permanent residence
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__landlord__m,s__BinaryPredicate)

Mid-level-ontology.kif 6453-6453 landlord is an instance of binary predicate

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__landlord__m,'"%2 %n 是 %1 的 landlord "')

domainEnglishFormat.kif 1435-1435
s__format(s__ChineseTraditionalLanguage,s__landlord__m,'"%2 %n 是 %1 的 landlord "')

domainEnglishFormat.kif 1434-1434
s__format(s__EnglishLanguage,s__landlord__m,'"%2 is %n a landlord of %1"')

domainEnglishFormat.kif 1433-1433
s__termFormat(s__ChineseLanguage,s__landlord__m,'"房东"')

domainEnglishFormat.kif 33234-33234
s__termFormat(s__ChineseTraditionalLanguage,s__landlord__m,'"房東"')

domainEnglishFormat.kif 33233-33233
s__termFormat(s__EnglishLanguage,s__landlord__m,'"landlord"')

domainEnglishFormat.kif 33232-33232

antecedent
-------------------------


( ! [V__U,V__L] :
   (((s__instance(V__U,s__PermanentResidence) &
         s__instance(V__L,s__Agent))
       =>
       ((s__landlord(V__L,V__U)
         =>
         (( ? [V__R, V__P] :
             ((s__instance(V__P,s__Agent) &
                 (s__possesses(V__L,V__U)
                 &
                 s__tenant(V__P,V__U)
               &
               s__agent(V__R,V__P)
             &
             s__instance(V__R,s__Renting) &
             s__patient(V__R,V__U)))))))))
)
)

Mid-level-ontology.kif 6457-6465

consequent
-------------------------


( ! [V__P,V__U] :
   (((s__instance(V__P,s__Agent) &
         s__instance(V__U,s__PermanentResidence))
       =>
       ((s__tenant(V__P,V__U)
         =>
         (( ? [V__L, V__R] :
             ((s__instance(V__L,s__Agent) &
                 (s__instance(V__R,s__Renting) &
                   s__landlord(V__L,V__U)
                 &
                 s__agent(V__R,V__P)
               &
               s__possesses(V__L,V__U)
             &
             s__patient(V__R,V__U)))))))))
)
)

Mid-level-ontology.kif 6473-6481


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