TreeView Knowledge Base Browser - NuclearFamily

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NuclearFamily

NuclearFamily(nuclear family)

conjugal_family, nuclear_family

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23181-23184
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4788-4788
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23178-23178	Nuclear family is a subclass of family group
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23179-23179	Nuclear family is a subclass of social unit

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41361-41361
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41360-41360
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41359-41359

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 23186-23202

If an organism is a parent of another organism and a third organism is a parent of the other organism and the organism is the spouse of the third organism and the third organism is a cohabitant of the organism and the organism is a cohabitant of the other organism holds during a time position,
then there exists an entity such that the entity is an instance of nuclear family and the other organism is a member of the entity and the organism is a member of the entity and the third organism is a member of the entity holds during the time position

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