| appearance as argument number 1 |
|
| (documentation FlagOfConvenienceRegister EnglishLanguage "FlagOfConvenienceRegister is the subclass of ShipRegisters in which most of the registered ships are owned outside of the GeopoliticalArea to which the registry belongs. InternalShipRegisters and OffshoreShipRegisters both may act as FlagOfConvenienceRegisters, if permitted by the maritime regulations of the registry owner.") | Transportation.kif 1190-1196 | |
| (subclass FlagOfConvenienceRegister ShipRegister) | Transportation.kif 1187-1187 | Flag of convenience register is a subclass of ship register |
| appearance as argument number 2 |
|
|
| (names "flag of convenience" FlagOfConvenienceRegister) | Transportation.kif 1188-1188 | Flag of convenience register has name "flag of convenience" |
| (names "open register" FlagOfConvenienceRegister) | Transportation.kif 1189-1189 | Flag of convenience register has name "open register" |
| (termFormat ChineseLanguage FlagOfConvenienceRegister "便利登记的旗帜") | domainEnglishFormat.kif 24079-24079 | |
| (termFormat ChineseTraditionalLanguage FlagOfConvenienceRegister "便利登記的旗幟") | domainEnglishFormat.kif 24078-24078 | |
| (termFormat EnglishLanguage FlagOfConvenienceRegister "flag of convenience register") | domainEnglishFormat.kif 24077-24077 |
| consequent |
|
|
| (=> (and (fOCShipsByOrigin ?MM ?HOME ?COUNT) (greaterThan ?COUNT 0) (marineInventory ?MM ?REGISTER)) (instance ?REGISTER FlagOfConvenienceRegister)) |
Transportation.kif 1059-1064 |
|
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners