TreeView Knowledge Base Browser

appearance as argument number 1

(subclass AnimalResidence Artifact)	Mid-level-ontology.kif 8307-8307	Animal residence is a subclass of artifact
(documentation AnimalResidence EnglishLanguage "An Artifact which is intended to house Animals and not Humans. Note that an AnimalResidence may or may not be a StationaryArtifact, e.g. a horse stall is stationary while a doghouse generally is not.")	Mid-level-ontology.kif 8308-8311	Animal residence is a subclass of artifact
(externalImage AnimalResidence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 02/ Doghouse3.jpg")	pictureList.kif 4499-4499	Animal residence is a subclass of artifact

appearance as argument number 2

(termFormat EnglishLanguage AnimalResidence "animal residence")	domainEnglishFormat.kif 7595-7595
(termFormat ChineseTraditionalLanguage AnimalResidence "動物住所")	domainEnglishFormat.kif 7596-7596
(termFormat ChineseLanguage AnimalResidence "动物住所")	domainEnglishFormat.kif 7597-7597

antecedent

(=>
    (instance ?RESIDENCE AnimalResidence)
    (hasPurpose ?RESIDENCE
        (exists (?ANIMAL)
            (and
                (instance ?ANIMAL Animal)
                (not
                    (instance ?ANIMAL Human))
                (inhabits ?ANIMAL ?RESIDENCE)))))

Mid-level-ontology.kif 8313-8320

If X is an instance of animal residence, then X has the purpose there exists Y such that Y is an instance of animal, Y is not an instance of human, and Y lives in X

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: