fOCShipsByOrigin |
appearance as argument number 1 |
(documentation fOCShipsByOrigin EnglishLanguage "(fOCShipsByOrigin ?MM ?AREA ?COUNT) means that the MerchantMarine ?MM has ?COUNT number of ships from the GeopoliticalArea ?AREA in its ShipRegister, using it as a FlagOfConvenience, although the owner of the ships is in ?AREA.") | Transportation.kif 1057-1062 | |
(domain fOCShipsByOrigin 1 MerchantMarine) | Transportation.kif 1054-1054 | Il numero 1 argomenti di fOCShipsByOrigin è un istanza di MerchantMarine |
(domain fOCShipsByOrigin 2 GeopoliticalArea) | Transportation.kif 1055-1055 | Il numero 2 argomenti di fOCShipsByOrigin è un istanza di AreaGeopolitica |
(domain fOCShipsByOrigin 3 NonnegativeInteger) | Transportation.kif 1056-1056 | Il numero 3 argomenti di fOCShipsByOrigin è un istanza di NumeroInteroNonNegativo |
(instance fOCShipsByOrigin TernaryPredicate) | Transportation.kif 1053-1053 | fOCShipsByOrigin è un' istanza di PredicatoTernario |
appearance as argument number 2 |
(format ChineseLanguage fOCShipsByOrigin "%1 %n{不} 对 %3 由来源 %2 fOC 船只") | domainEnglishFormat.kif 1081-1081 | |
(format ChineseTraditionalLanguage fOCShipsByOrigin "%1 %n{不} 對 %3 由來源 %2 fOC 船隻") | domainEnglishFormat.kif 1080-1080 | |
(format EnglishLanguage fOCShipsByOrigin "%1 %n{doesn't} fOC ships by origin %2 for %3") | domainEnglishFormat.kif 1079-1079 | |
(termFormat ChineseLanguage fOCShipsByOrigin "fOC按原产地出货") | domainEnglishFormat.kif 24452-24452 | |
(termFormat ChineseTraditionalLanguage fOCShipsByOrigin "fOC按原產地出貨") | domainEnglishFormat.kif 24451-24451 | |
(termFormat EnglishLanguage fOCShipsByOrigin "fOC ships by origin") | domainEnglishFormat.kif 24450-24450 |
antecedent |
(=> (and (fOCShipsByOrigin ?MM ?HOME ?COUNT) (equal ?MM (MerchantMarineFn ?AREA))) (not (equal ?HOME ?AREA))) |
Transportation.kif 1064-1068 | |
(=> (and (fOCShipsByOrigin ?MM ?HOME ?COUNT) (greaterThan ?COUNT 0) (marineInventory ?MM ?REGISTER)) (instance ?REGISTER FlagOfConvenienceRegister)) |
Transportation.kif 1070-1075 |