Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| fOCShipsByOrigin |
| appearance as argument number 1 |
|
| (instance fOCShipsByOrigin TernaryPredicate) | Transportation.kif 1053-1053 | fOC ships by origin is an instance of ternary predicate |
| (domain fOCShipsByOrigin 1 MerchantMarine) | Transportation.kif 1054-1054 | The number 1 argument of fOC ships by origin is an instance of merchant marine |
| (domain fOCShipsByOrigin 2 GeopoliticalArea) | Transportation.kif 1055-1055 | The number 2 argument of fOC ships by origin is an instance of geopolitical area |
| (domain fOCShipsByOrigin 3 NonnegativeInteger) | Transportation.kif 1056-1056 | The number 3 argument of fOC ships by origin is an instance of nonnegative integer |
| (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 | The number 3 argument of fOC ships by origin is an instance of nonnegative integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage fOCShipsByOrigin "%1 %n{doesn't} fOC ships by origin %2 for %3") | domainEnglishFormat.kif 1079-1079 | |
| (format ChineseTraditionalLanguage fOCShipsByOrigin "%1 %n{不} 對 %3 由來源 %2 fOC 船隻") | domainEnglishFormat.kif 1080-1080 | |
| (format ChineseLanguage fOCShipsByOrigin "%1 %n{不} 对 %3 由来源 %2 fOC 船只") | domainEnglishFormat.kif 1081-1081 | |
| (termFormat EnglishLanguage fOCShipsByOrigin "fOC ships by origin") | domainEnglishFormat.kif 24448-24448 | |
| (termFormat ChineseTraditionalLanguage fOCShipsByOrigin "fOC按原產地出貨") | domainEnglishFormat.kif 24449-24449 | |
| (termFormat ChineseLanguage fOCShipsByOrigin "fOC按原产地出货") | domainEnglishFormat.kif 24450-24450 |
| antecedent |
|
|
| (=> (and (fOCShipsByOrigin ?MM ?HOME ?COUNT) (equal ?MM (MerchantMarineFn ?AREA))) (not (equal ?HOME ?AREA))) |
Transportation.kif 1064-1068 | If X fOC ships by origin Y for Z and equal X and the merchant marine of W, then equal Y and W |
| (=> (and (fOCShipsByOrigin ?MM ?HOME ?COUNT) (greaterThan ?COUNT 0) (marineInventory ?MM ?REGISTER)) (instance ?REGISTER FlagOfConvenienceRegister)) |
Transportation.kif 1070-1075 | If X fOC ships by origin Y for Z, Z is greater than 0, and W is a marine inventory of X, then W is an instance of flag of convenience register |
|