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 fOCShipsByOrigin の数値 1 引数は MerchantMarine の instance では %n
(domain fOCShipsByOrigin 2 GeopoliticalArea) Transportation.kif 1055-1055 fOCShipsByOrigin の数値 2 引数は 地政学的地域 の instance では %n
(domain fOCShipsByOrigin 3 NonnegativeInteger) Transportation.kif 1056-1056 fOCShipsByOrigin の数値 3 引数は 非負整数 の instance では %n
(instance fOCShipsByOrigin TernaryPredicate) Transportation.kif 1053-1053 fOCShipsByOrigin は 3進述語 の instance では %n

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 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