TreeView 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	域承租人, 1 and AutonomousAgent
(domain tenant 2 Residence)	Mid-level-ontology.kif 6932-6932	域承租人, 2 and 住宅
(instance tenant BinaryPredicate)	Mid-level-ontology.kif 6930-6930	例承租人 and BinaryPredicate

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

永久居留權是 AutonomousAgent 的 tenant
AutonomousAgent Process 例 Process and 租永久居留權是 AutonomousAgent 的 landlord agent Process and AutonomousAgent 擁有 AutonomousAgent and 永久居留權患者 Process and 永久居留權

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

永久居留權是 AutonomousAgent 的 landlord
Process AutonomousAgent 擁有 AutonomousAgent and 永久居留權永久居留權是 AutonomousAgent 的 tenant agent Process and AutonomousAgent 例 Process and 租患者 Process and 永久居留權

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

KB Term:			Term intersection

English Word: