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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ghibli

Sigma KEE - Ghibli
Ghibli
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 11078-11078
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11079-11079
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11080-11080
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11081-11081
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11082-11082
No TPTP formula. May not be expressible in strict first order. Weather.kif 1232-1232 Ghibli e' uma sub-classe de Wind

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26004-26004
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26003-26003
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26002-26002


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