TreeView Knowledge Base Browser - Brood

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 7517-7518
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 7516-7516	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 7529-7539	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 7520-7527	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 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