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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalTankerShip
ChemicalTankerShip

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


(documentation ChemicalTankerShip EnglishLanguage "ChemicalTankerShip is the subclass of ships that carry ChemicalProducts.") Transportation.kif 2554-2555
(externalImage ChemicalTankerShip "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ Supertanker_AbQaiq.jpg") pictureList.kif 1695-1695
(subclass ChemicalTankerShip CargoShip) Transportation.kif 2547-2547 ChemicalTankerShip est une sous-classe de CargoShip

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


(names "chemical carrier" ChemicalTankerShip) Transportation.kif 2548-2548 ChemicalTankerShip s'appele &ames$"nom" "chemical carrier"
(subclass Chemical_OilTankerShip ChemicalTankerShip) Transportation.kif 2556-2556 Chemical_OilTankerShip est une sous-classe de ChemicalTankerShip
(termFormat ChineseLanguage ChemicalTankerShip "化学品船") domainEnglishFormat.kif 14349-14349 Chemical_OilTankerShip est une sous-classe de ChemicalTankerShip
(termFormat ChineseTraditionalLanguage ChemicalTankerShip "化學品船") domainEnglishFormat.kif 14348-14348 Chemical_OilTankerShip est une sous-classe de ChemicalTankerShip
(termFormat EnglishLanguage ChemicalTankerShip "chemical tanker ship") domainEnglishFormat.kif 14347-14347 Chemical_OilTankerShip est une sous-classe de ChemicalTankerShip

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


(=>
    (instance ?SHIP ChemicalTankerShip)
    (cargoType ?SHIP ChemicalProduct))
Transportation.kif 2550-2552


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