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 2484-2484
(subclass LivestockCarrierShip CargoShip) Transportation.kif 2502-2502

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


(termFormat ChineseLanguage LivestockCarrierShip "牲畜运输船") domainEnglishFormat.kif 34786-34786
(termFormat ChineseTraditionalLanguage LivestockCarrierShip "牲畜運輸船") domainEnglishFormat.kif 34785-34785
(termFormat EnglishLanguage LivestockCarrierShip "livestock carrier ship") domainEnglishFormat.kif 34784-34784

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


(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2503-2505


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