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 23102-23103
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23104-23104	O argumento numero 1 de nephew e' uma instancia de Man
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23105-23105	O argumento numero 2 de nephew e' uma instancia de Humano
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23107-23107	nephew e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23106-23106	nephew e' uma sub-relacao 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 23109-23114

nephew Man and Humano Organismo Organismo e' um irmao ou uma irma de Humano son Man 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