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 23168-23169
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23170-23170	Le nombre 1 argument de niece est une instance de Woman
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23171-23171	Le nombre 2 argument de niece est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23173-23173	niece est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23172-23172	niece est une sous-relation 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 40505-40505
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40504-40504
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40503-40503

antecedent

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

Mid-level-ontology.kif 23175-23180

niece Woman and humain organisme organisme est un fr�re ou une soeur de humain daughter Woman and organisme

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