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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LiquefiedGasTankerShip
LiquefiedGasTankerShip(liquefied gas tanker ship)

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


(externalImage LiquefiedGasTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg") pictureList.kif 1835-1835
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2371-2371 Liquefied gas tanker ship is a subclass of cargo ship

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


(names "Liquefied gas carrier" LiquefiedGasTankerShip) Transportation.kif 2372-2372 Liquefied gas tanker ship has name "Liquefied gas carrier"
(subclass LiquefiedGas-ChemicalTankerShip LiquefiedGasTankerShip) Transportation.kif 2382-2382 Liquefied gas- chemical tanker ship is a subclass of liquefied gas tanker ship
(termFormat ChineseLanguage LiquefiedGasTankerShip "液化气罐船") domainEnglishFormat.kif 34525-34525
(termFormat ChineseTraditionalLanguage LiquefiedGasTankerShip "液化氣罐船") domainEnglishFormat.kif 34524-34524
(termFormat EnglishLanguage LiquefiedGasTankerShip "liquefied gas tanker ship") domainEnglishFormat.kif 34523-34523

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


(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))
Transportation.kif 2378-2380
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2374-2376


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