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 23115-23116
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23117-23117	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 23118-23118	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 23120-23120	niece est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23119-23119	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 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 23122-23127

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