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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RollOnRollOffCargoShip
RollOnRollOffCargoShip

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


(externalImage RollOnRollOffCargoShip "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ Roro_faehre.jpg") pictureList.kif 1963-1963
(subclass RollOnRollOffCargoShip CargoShip) Transportation.kif 2340-2340

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


(names "Ro-Ro" RollOnRollOffCargoShip) Transportation.kif 2342-2342
(names "roll-on roll-off" RollOnRollOffCargoShip) Transportation.kif 2341-2341
(subclass ContainerRoRoCargoShip RollOnRollOffCargoShip) Transportation.kif 2344-2344
(subclass PassengerLandingCraft RollOnRollOffCargoShip) Transportation.kif 2351-2351
(subclass RailcarCarrierShip RollOnRollOffCargoShip) Transportation.kif 2354-2354
(subclass VehicleCarrierShip RollOnRollOffCargoShip) Transportation.kif 2346-2346
(termFormat ChineseLanguage RollOnRollOffCargoShip "滚上滚下货船") domainEnglishFormat.kif 50306-50306
(termFormat ChineseTraditionalLanguage RollOnRollOffCargoShip "滾上滾下貨船") domainEnglishFormat.kif 50305-50305
(termFormat EnglishLanguage RollOnRollOffCargoShip "roll on roll off cargo ship") domainEnglishFormat.kif 50304-50304


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