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 23233-23236
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 23230-23230	NuclearFamily e' uma sub-classe de Grupo Familiar
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23231-23231	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 41363-41363
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41362-41362
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41361-41361

consequent

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

Mid-level-ontology.kif 23238-23254

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