Kennel |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25406-25407 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25405-25405 | Kennel e' uma sub-classe de TrapOrCage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25408-25408 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25410-25418 |