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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LiquefiedGasTankerShip

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 1834-1834
(subclass LiquefiedGasTankerShip CargoShip) Transportation.kif 2382-2382 Liquefied gas tanker ship is a subclass of cargo ship

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


(names "Liquefied gas carrier" LiquefiedGasTankerShip) Transportation.kif 2383-2383 Liquefied gas tanker ship has name "Liquefied gas carrier"
(subclass LiquefiedGasChemicalTankerShip LiquefiedGasTankerShip) Transportation.kif 2393-2393 LiquefiedGasChemicalTankerShip is a subclass of liquefied gas tanker ship
(termFormat ChineseLanguage LiquefiedGasTankerShip "液化气罐船") domainEnglishFormat.kif 34601-34601
(termFormat ChineseTraditionalLanguage LiquefiedGasTankerShip "液化氣罐船") domainEnglishFormat.kif 34600-34600
(termFormat EnglishLanguage LiquefiedGasTankerShip "liquefied gas tanker ship") domainEnglishFormat.kif 34599-34599

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


(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Liquid)))
Transportation.kif 2389-2391
(=>
    (instance ?SHIP LiquefiedGasTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2385-2387


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