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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ResearchShip

 Sigma KEE - ResearchShip
ResearchShip(research ship)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 2330-2330
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2447-2447 Research ship is a subclass of ship

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49610-49610
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49609-49609
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49608-49608


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