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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LivestockCarrierShip
LivestockCarrierShip

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


(externalImage LivestockCarrierShip "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2c/ Flock_of_sheep.jpg") pictureList.kif 2486-2486
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2316-2316

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


(termFormat ChineseLanguage LivestockCarrierShip "牲畜运输船") domainEnglishFormat.kif 34765-34765
(termFormat ChineseTraditionalLanguage LivestockCarrierShip "牲畜運輸船") domainEnglishFormat.kif 34764-34764
(termFormat EnglishLanguage LivestockCarrierShip "livestock carrier ship") domainEnglishFormat.kif 34763-34763

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


(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2317-2319


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