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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - maternalAunt
maternalAunt

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 593-594
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 591-591 maternalAunt est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 592-592 maternalAunt est une sous-relation de familyRelation

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3822-3822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3821-3821
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3820-3820
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36479-36479
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36478-36478
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36477-36477

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 595-600


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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