| appearance as argument number 1 |
|
| (documentation MerchantMarineFn EnglishLanguage "(MerchantMarineFn ?AREA) denotes the Collection of all commercial ships registered in the ShipRegister of the GeopoliticalArea ?AREA.") | Transportation.kif 968-970 | |
| (domain MerchantMarineFn 1 GeopoliticalArea) | Transportation.kif 965-965 | |
| (instance MerchantMarineFn UnaryFunction) | Transportation.kif 964-964 | |
| (range MerchantMarineFn MerchantMarine) | Transportation.kif 966-966 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage MerchantMarineFn "%1 的 merchant 海洋") | domainEnglishFormat.kif 1703-1703 | |
| (format ChineseTraditionalLanguage MerchantMarineFn "%1 的 merchant 海洋") | domainEnglishFormat.kif 1702-1702 | |
| (format EnglishLanguage MerchantMarineFn "the merchant marine of %1") | domainEnglishFormat.kif 1701-1701 | |
| (termFormat ChineseLanguage MerchantMarineFn "商船") | domainEnglishFormat.kif 37192-37192 | |
| (termFormat ChineseTraditionalLanguage MerchantMarineFn "商船") | domainEnglishFormat.kif 37191-37191 | |
| (termFormat EnglishLanguage MerchantMarineFn "merchant marine") | domainEnglishFormat.kif 37190-37190 |
| antecedent |
|
|
| (=> (and (fOCShipsByOrigin ?MM ?HOME ?COUNT) (equal ?MM (MerchantMarineFn ?AREA))) (not (equal ?HOME ?AREA))) |
Transportation.kif 1064-1068 | |
| (=> (and (instance ?AREA GeopoliticalArea) (instance (MerchantMarineFn ?AREA) MerchantMarine)) (possesses ?AREA (MerchantMarineFn ?AREA))) |
Transportation.kif 978-982 | |
| (=> (and (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (instance ?SHIP MerchantMarineShip)) |
Transportation.kif 972-976 | |
| (=> (and (instance ?SHIP Ship) (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (exists (?REGISTRATION) (and (instance ?REGISTRATION ShipRegistration) (possesses ?SHIP ?REGISTRATION) (subsumesContentInstance (ShipRegisterFn ?AREA) ?REGISTRATION)))) |
Transportation.kif 1157-1166 | |
| (=> (instance ?MM (MerchantMarineFn ?AREA)) (exists (?REGISTER) (and (instance ?REGISTER ShipRegister) (possesses ?AREA ?REGISTER) (marineInventory ?MM ?REGISTER)))) |
Transportation.kif 1113-1119 |
| consequent |
|
|
| (=> (and (instance ?AREA GeopoliticalArea) (instance (MerchantMarineFn ?AREA) MerchantMarine)) (possesses ?AREA (MerchantMarineFn ?AREA))) |
Transportation.kif 978-982 |
|
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