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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommercialShipping
CommercialShipping(commercial shipping)

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


(documentation CommercialShipping EnglishLanguage "CommercialShipping is the subclass of Transportation events in which a commercial agent provides transportation of goods for remuneration.") Mid-level-ontology.kif 8475-8477
(subclass CommercialShipping CommercialService) Mid-level-ontology.kif 8474-8474 Commercial shipping is a subclass of commercial service
(subclass CommercialShipping Shipping) Mid-level-ontology.kif 8473-8473 Commercial shipping is a subclass of shipping

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


(termFormat ChineseLanguage CommercialShipping "商业运输") domainEnglishFormat.kif 15891-15891
(termFormat ChineseTraditionalLanguage CommercialShipping "商業運輸") domainEnglishFormat.kif 15890-15890
(termFormat EnglishLanguage CommercialShipping "commercial shipping") domainEnglishFormat.kif 15889-15889


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