Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  nephew

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 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 23157-23157 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 23159-23159 nephew e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23158-23158 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 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 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