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 25348-25349 | |
(subclass Kennel TrapOrCage) | Mid-level-ontology.kif 25347-25347 | 子類 Kennel and 陷阱或籠子 |
appearance as argument number 2 |
(termFormat EnglishLanguage Kennel "kennel") | Mid-level-ontology.kif 25350-25350 |
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 25352-25360 |