| AnimalResidence(animal residence)
| | stabling, stall |
| appearance as argument number 1 |
|
|
| (subclass AnimalResidence Artifact) | Mid-level-ontology.kif 8170-8170 | 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 8171-8174 | 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 |
|
|
| antecedent |
|
|
| (=> (instance ?RESIDENCE AnimalResidence) (hasPurpose ?RESIDENCE (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (not (instance ?ANIMAL Human)) (inhabits ?ANIMAL ?RESIDENCE))))) |
Mid-level-ontology.kif 8176-8183 | 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 |
|
|
|