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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ShipMate
ShipMate(ship mate)first_mate, mate

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


(documentation ShipMate EnglishLanguage "The class of Positions that involve some responsibility on a ship and are lower in rank than ShipCaptain.") Mid-level-ontology.kif 19247-19248
(subAttribute ShipMate Sailor) Mid-level-ontology.kif 19246-19246 Ship mate is a subattribute of sailor

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


(subAttribute ChiefSteward ShipMate) Transportation.kif 4108-4108 Chief steward is a subattribute of ship mate
(subAttribute FirstMate ShipMate) Transportation.kif 4107-4107 First mate is a subattribute of ship mate
(termFormat ChineseLanguage ShipMate "船友") domainEnglishFormat.kif 52717-52717 First mate is a subattribute of ship mate
(termFormat ChineseTraditionalLanguage ShipMate "船友") domainEnglishFormat.kif 52716-52716 First mate is a subattribute of ship mate
(termFormat EnglishLanguage ShipMate "ship mate") domainEnglishFormat.kif 52715-52715 First mate is a subattribute of ship mate


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