| GroupOfAnimals(group of animals) | | animal_group, caste, cloud, clowder, colony, field, gam, herd, infestation, pack, plague, pod, pride, remuda, school, shoal, swarm, wolf_pack |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7476-7477 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7475-7475 | Group of animals is a subclass of group |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7513-7513 | Animal team is a subclass of group of animals |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7488-7488 | Brood is a subclass of group of animals |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26808-26808 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26807-26807 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26806-26806 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7479-7486 |
|
|
|
|