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

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


(termFormat ChineseLanguage LivestockCarrierShip "牲畜运输船") domainEnglishFormat.kif 34775-34775
(termFormat ChineseTraditionalLanguage LivestockCarrierShip "牲畜運輸船") domainEnglishFormat.kif 34774-34774
(termFormat EnglishLanguage LivestockCarrierShip "livestock carrier ship") domainEnglishFormat.kif 34773-34773

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


(=>
    (instance ?SHIP LivestockCarrierShip)
    (cargoType ?SHIP Livestock))
Transportation.kif 2328-2330


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