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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - importCommodityTypeByRank
importCommodityTypeByRank

appearance as argument number 1
-------------------------


(documentation importCommodityTypeByRank EnglishLanguage "(importCommodityTypeByRank ?AREA ?TYPE ?NTH) means that the GeopoliticalArea ?AREA has the commodity ?TYPE as its ?NTH most valuable import.") Economy.kif 2625-2628
(domain importCommodityTypeByRank 1 GeopoliticalArea) Economy.kif 2621-2621
(domain importCommodityTypeByRank 3 PositiveInteger) Economy.kif 2623-2623
(domainSubclass importCommodityTypeByRank 2 Object) Economy.kif 2622-2622
(instance importCommodityTypeByRank TernaryPredicate) Economy.kif 2620-2620

appearance as argument number 2
-------------------------


(format EnglishLanguage importCommodityTypeByRank "%1 %n{doesn't} import commodity type by rank %2 for %3") domainEnglishFormat.kif 322-322
(termFormat EnglishLanguage importCommodityTypeByRank "import commodity type by rank") domainEnglishFormat.kif 5318-5318

antecedent
-------------------------


(=>
    (importCommodityTypeByRank ?AREA ?TYPE ?RANK)
    (importCommodityType ?AREA ?TYPE))
Economy.kif 2630-2632


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners