TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Inhabitant EnglishLanguage "A person or animal that lives in or occupies a place.")	Mid-level-ontology.kif 33048-33048
(instance Inhabitant Organism)	Mid-level-ontology.kif 33049-33049	Inhabitant is an instance of organism

appearance as argument number 2

(termFormat EnglishLanguage Inhabitant "inhabitant")

antecedent

(=>
    (instance ?I Inhabitant)
    (exists (?L)
        (and
            (instance ?L Object)
            (inhabits ?I ?L))))

If X is an instance of inhabitant, then there exists Y such that Y is an instance of object and X lives in Y

consequent

(<=>
(inhabits ?I ?L)
(instance ?I Inhabitant))

X lives in Y if and only if X is an instance of inhabitant