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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LiquefiedGasTankerShip
LiquefiedGasTankerShip

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

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


(names "Liquefied gas carrier" LiquefiedGasTankerShip) Transportation.kif 2383-2383
(subclass LiquefiedGasChemicalTankerShip LiquefiedGasTankerShip) Transportation.kif 2393-2393
(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 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