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

KB Term:  Term intersection
English Word: 

Sigma KEE - RailcarCarrierShip
RailcarCarrierShip(railcar carrier ship)

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


(subclass RailcarCarrierShip RollOnRollOffCargoShip) Transportation.kif 2540-2540 Railcar carrier ship is a subclass of roll on roll off cargo ship

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


(termFormat EnglishLanguage RailcarCarrierShip "railcar carrier ship") domainEnglishFormat.kif 48607-48607
(termFormat ChineseTraditionalLanguage RailcarCarrierShip "鐵路運輸船") domainEnglishFormat.kif 48608-48608
(termFormat ChineseLanguage RailcarCarrierShip "铁路运输船") domainEnglishFormat.kif 48609-48609

antecedent
-------------------------


(=>
    (instance ?SHIP RailcarCarrierShip)
    (cargoType ?SHIP RollingStock))		 Transportation.kif 2541-2543 If X is an instance of railcar carrier ship, then rolling stock is a cargo type of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners