| 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 | 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 |
| (instance fOCShipsByOrigin TernaryPredicate) | Transportation.kif 1053-1053 | fOC ships by origin is an instance of ternary predicate |
| 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 24474-24474 | |
| (termFormat ChineseTraditionalLanguage fOCShipsByOrigin "fOC按原產地出貨") | domainEnglishFormat.kif 24473-24473 | |
| (termFormat EnglishLanguage fOCShipsByOrigin "fOC ships by origin") | domainEnglishFormat.kif 24472-24472 |
| 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 |
|
|
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