TreeView Knowledge Base Browser - nephew

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - nephew

nephew

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23154-23155
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23156-23156	Le nombre 1 argument de nephew est une instance de Man
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23157-23157	Le nombre 2 argument de nephew est une instance de humain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23159-23159	nephew est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23158-23158	nephew est une sous-relation de familyRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3970-3970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3969-3969
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3968-3968
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40157-40157
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40156-40156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40155-40155

antecedent

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

Mid-level-ontology.kif 23161-23166

nephew Man and humain organisme organisme est un fr�re ou une soeur de humain son Man 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