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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Catamaran

 Sigma KEE - Catamaran
Catamaran(catamaran)
catamaran

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 327-327
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2769-2769
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2768-2768
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2651-2651
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2295-2295 Catamaran is a subclass of multihull water vehicle

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13428-13428
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13427-13427
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13426-13426


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