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

Formal Language: 



KB Term:  Term intersection
English Word: 

  fOCShipsByOrigin

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
(domain fOCShipsByOrigin 2 GeopoliticalArea) Transportation.kif 1055-1055
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056
(instance fOCShipsByOrigin TernaryPredicate) Transportation.kif 1053-1053

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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