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

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	NuclearFamily e' uma sub-classe de Grupo Familiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23179-23179	NuclearFamily e' uma sub-classe de SocialUnit

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

Organismo e' um genitor de Organismo Organismo e' um genitor de Organismo spouse Organismo and Organismo cohabitant Organismo and Organismo cohabitant Organismo and Organismo vale durante Posicao Temporal
Entidade Entidade e' uma instancia de NuclearFamily Organismo e' membro de Entidade Organismo e' membro de Entidade Organismo e' membro de Entidade vale durante Posicao Temporal

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