| appearance as argument number 1 |
|
| (instance ShipPollutionProtocol Agreement) | Geography.kif 3277-3277 | Ship pollution protocol is an instance of agreement |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Protocol of 1978 Relating to the International Convention for the Prevention of Pollution From Ships, 1973" ShipPollutionProtocol) | Geography.kif 3279-3280 | Ship pollution protocol is a conventional long name of "Protocol of 1978 Relating to the International Convention for the Prevention of Pollution From Ships, 1973" |
| (conventionalShortName "MARPOL" ShipPollutionProtocol) | Geography.kif 3283-3283 | Ship pollution protocol is a conventional short name of "MARPOL" |
| (conventionalShortName "Ship Pollution" ShipPollutionProtocol) | Geography.kif 3282-3282 | Ship pollution protocol is a conventional short name of "Ship Pollution" |
| (termFormat ChineseLanguage ShipPollutionProtocol "船舶污染协议") | domainEnglishFormat.kif 52740-52740 | Ship pollution protocol is a conventional short name of "Ship Pollution" |
| (termFormat ChineseTraditionalLanguage ShipPollutionProtocol "船舶污染協議") | domainEnglishFormat.kif 52739-52739 | Ship pollution protocol is a conventional short name of "Ship Pollution" |
| (termFormat EnglishLanguage ShipPollutionProtocol "ship pollution protocol") | domainEnglishFormat.kif 52738-52738 | Ship pollution protocol is a conventional short name of "Ship Pollution" |
|
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