|
|
   Kennel
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Kennel EnglishLanguage "Kennel is a TrapOrCage where a DomesticAnimal is Confining by its owner") | Mid-level-ontology.kif 23283-23284 | |
| (subclass Kennel TrapOrCage) | Mid-level-ontology.kif 23282-23282 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Kennel "kennel") | Mid-level-ontology.kif 23285-23285 |
| antecedent |
|
|
| (=> (instance ?KENNEL Kennel) (hasPurpose ?KENNEL (exists (?ANIMAL ?CONFINING) (and (instance ?ANIMAL DomesticAnimal) (instance ?CONFINING Confining) (patient ?CONFINING ?ANIMAL) (eventLocated ?CONFINING ?KENNEL))))) |
Mid-level-ontology.kif 23287-23295 |
|
|
|