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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ghibli
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 Ghibli is a subclass of 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 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