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 2346-2346 RollOnRollOffCargoShip è una sottoclasse di CargoShip

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


(names "Ro-Ro" RollOnRollOffCargoShip) Transportation.kif 2348-2348 names "Ro-Ro" and RollOnRollOffCargoShip
(names "roll-on roll-off" RollOnRollOffCargoShip) Transportation.kif 2347-2347 names "roll-on roll-off" and RollOnRollOffCargoShip
(subclass ContainerRoRoCargoShip RollOnRollOffCargoShip) Transportation.kif 2350-2350 ContainerRoRoCargoShip è una sottoclasse di RollOnRollOffCargoShip
(subclass PassengerLandingCraft RollOnRollOffCargoShip) Transportation.kif 2357-2357 PassengerLandingCraft è una sottoclasse di RollOnRollOffCargoShip
(subclass RailcarCarrierShip RollOnRollOffCargoShip) Transportation.kif 2360-2360 RailcarCarrierShip è una sottoclasse di RollOnRollOffCargoShip
(subclass VehicleCarrierShip RollOnRollOffCargoShip) Transportation.kif 2352-2352 VehicleCarrierShip è una sottoclasse di RollOnRollOffCargoShip
(termFormat ChineseLanguage RollOnRollOffCargoShip "滚上滚下货船") domainEnglishFormat.kif 50308-50308
(termFormat ChineseTraditionalLanguage RollOnRollOffCargoShip "滾上滾下貨船") domainEnglishFormat.kif 50307-50307
(termFormat EnglishLanguage RollOnRollOffCargoShip "roll on roll off cargo ship") domainEnglishFormat.kif 50306-50306


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