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 1248-1248 吉卜力 是 风 的 subclass

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