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 23101-23102
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23103-23103	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 23104-23104	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 23106-23106	nephew est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23105-23105	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 40155-40155
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40154-40154
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40153-40153

antecedent

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

Mid-level-ontology.kif 23108-23113

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