TreeView Knowledge Base Browser

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

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

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

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: