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 2334-2334

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


(termFormat ChineseLanguage LivestockCarrierShip "牲畜运输船") domainEnglishFormat.kif 34758-34758
(termFormat ChineseTraditionalLanguage LivestockCarrierShip "牲畜運輸船") domainEnglishFormat.kif 34757-34757
(termFormat EnglishLanguage LivestockCarrierShip "livestock carrier ship") domainEnglishFormat.kif 34756-34756

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


(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2335-2337


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