TreeView Knowledge Base Browser - niece

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - niece

niece

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23116-23117
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23118-23118	O argumento numero 1 de niece e' uma instancia de Woman
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23119-23119	O argumento numero 2 de niece e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23121-23121	niece e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23120-23120	niece e' uma sub-relacao de familyRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3978-3978
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3977-3977
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3976-3976
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40503-40503
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40502-40502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40501-40501

antecedent

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

Mid-level-ontology.kif 23123-23128

niece Woman and Humano Organismo Organismo e' um irmao ou uma irma de Humano daughter Woman and Organismo

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