importPartnerByFractionInPeriod |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage importPartnerByFractionInPeriod "%1 %n{不} 对 %3 和 %4 在周期 %2 由一部分 import 伙伴") | domainEnglishFormat.kif 1269-1269 | |
(format ChineseTraditionalLanguage importPartnerByFractionInPeriod "%1 %n{不} 對 %3 和 %4 在週期 %2 由一部分 import 夥伴") | domainEnglishFormat.kif 1268-1268 | |
(format EnglishLanguage importPartnerByFractionInPeriod "%1 %n{doesn't} import partner by fraction in period %2 for %3 with %4") | domainEnglishFormat.kif 1267-1267 | |
(termFormat ChineseLanguage importPartnerByFractionInPeriod "按期间分数进口合作伙伴") | domainEnglishFormat.kif 29425-29425 | |
(termFormat ChineseTraditionalLanguage importPartnerByFractionInPeriod "按期間分數進口合作夥伴") | domainEnglishFormat.kif 29424-29424 | |
(termFormat EnglishLanguage importPartnerByFractionInPeriod "import partner by fraction in period") | domainEnglishFormat.kif 29423-29423 |
antecedent |
(<=> (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (importPartnerByFraction ?AREA1 ?AREA2 ?FRACTION))))) |
Economy.kif 2742-2747 | importPartnerByFractionInPeriod Area Geopolitica, Area Geopolitica, Numero Real positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartnerByFraction Area Geopolitica, Area Geopolitica and Numero Real positivo vale durante Posicao Temporal |
(=> (importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 2723-2725 |