TreeView Knowledge Base Browser

appearance as argument number 1

(instance Inhabited RelationalAttribute)	Mid-level-ontology.kif 32722-32722	Inhabited is an instance of relational attribute
(contraryAttribute Inhabited Uninhabited)	Mid-level-ontology.kif 32723-32723	Inhabited is the opposite of uninhabited
(documentation Inhabited EnglishLanguage "Attribute of a Region in which Humans exist.")	Mid-level-ontology.kif 32725-32726	Inhabited is the opposite of uninhabited

appearance as argument number 2

(termFormat EnglishLanguage Inhabited "inhabited")

antecedent

(=>
    (and
        (attribute ?I Inhabited)
        (instance ?I Region))
    (exists (?H)
        (and
            (instance ?H Human)
            (inhabits ?H ?I))))

If inhabited is an attribute of X and X is an instance of region, then there exists Y such that Y is an instance of human and Y lives in X