Brood - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Brood

Brood(brood)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7490-7491
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10558-10558
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10556-10556
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9917-9917
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10557-10557
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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12101-12101
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12100-12100
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12099-12099

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7502-7512	If a collection is an instance of brood, then there exists a time interval such that for all an agent if the agent is a member of the collection, then there exists a process such that the process is an instance of birth and the agent experiences the process and the time interval is equal to the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7493-7500	If a collection is an instance of brood, then for all an organism and another organism if the organism is a member of the collection and the other organism is a member of the collection, then the organism is a sibling of the other organism

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

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