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 O argumento numero 1 de fOCShipsByOrigin e' uma instancia de MerchantMarine
(domain fOCShipsByOrigin 2 GeopoliticalArea) Transportation.kif 1055-1055 O argumento numero 2 de fOCShipsByOrigin e' uma instancia de Area Geopolitica
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056 O argumento numero 3 de fOCShipsByOrigin e' uma instancia de Numero Inteiro nao-negativo
(instance fOCShipsByOrigin TernaryPredicate) Transportation.kif 1053-1053 fOCShipsByOrigin e' uma instancia de Predicado Ternario

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