TreeView Knowledge Base Browser - GroupOfAnimals

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - GroupOfAnimals

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 7477-7478
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7476-7476	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 7514-7514	Animal team is a subclass of group of animals
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7489-7489	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 7480-7487

If a collection is an instance of group of animals,
then for all a physical
- if the physical is a member of the collection,
- then the physical is an instance of animal and the physical is not an instance of human

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners