Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - fOCShipsByOrigin
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


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