SpecializedTankerShip - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SpecializedTankerShip CargoShip)	Transportation.kif 2615-2615	Specialized tanker ship is a subclass of cargo ship
(externalImage SpecializedTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg")	pictureList.kif 1997-1997	Specialized tanker ship is a subclass of cargo ship

appearance as argument number 2

(termFormat EnglishLanguage SpecializedTankerShip "specialized tanker ship")	domainEnglishFormat.kif 54523-54523
(termFormat ChineseTraditionalLanguage SpecializedTankerShip "專業油輪")	domainEnglishFormat.kif 54524-54524
(termFormat ChineseLanguage SpecializedTankerShip "专业油轮")	domainEnglishFormat.kif 54525-54525

antecedent

(=>
    (instance ?SHIP SpecializedTankerShip)
    (cargoType ?SHIP
        (ExtensionFn Fluid)))

If X is an instance of specialized tanker ship, then the class corresponding to fluid is a cargo type of X