landlord - Sigma Knowledge base Browser

appearance as argument number 1

(documentation landlord 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 8045-8047
(domain landlord 1 AutonomousAgent)	Mid-level-ontology.kif 8049-8049	The number 1 argument of landlord is an instance of agent
(domain landlord 2 PermanentResidence)	Mid-level-ontology.kif 8050-8050	The number 2 argument of landlord is an instance of permanent residence
(instance landlord BinaryPredicate)	Mid-level-ontology.kif 8048-8048	landlord is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage landlord "%2 %n 是 %1 的 landlord ")	domainEnglishFormat.kif 1435-1435
(format ChineseTraditionalLanguage landlord "%2 %n 是 %1 的 landlord ")	domainEnglishFormat.kif 1434-1434
(format EnglishLanguage landlord "%2 is %n a landlord of %1")	domainEnglishFormat.kif 1433-1433
(termFormat ChineseLanguage landlord "房东")	domainEnglishFormat.kif 33258-33258
(termFormat ChineseTraditionalLanguage landlord "房東")	domainEnglishFormat.kif 33257-33257
(termFormat EnglishLanguage landlord "landlord")	domainEnglishFormat.kif 33256-33256

antecedent

(=>
    (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 8052-8060

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

(=>
    (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 8068-8076

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 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: