TreeView Knowledge Base Browser

appearance as argument number 1

(documentation sectorValueOfGDP EnglishLanguage "(sectorValueOfGDP ?AREA ?SECTOR ?AMOUNT) means that for the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes ?AMOUNT to the Gross National Product, evaluated in U.S. dollars on a purchasing power parity basis. See PPPBasedEconomicValuation.")	Economy.kif 1123-1127
(domain sectorValueOfGDP 1 GeopoliticalArea)	Economy.kif 1119-1119	Die Zahl 1 Argument von sectorValueOfGDP ist ein fall von GeopoliticalArea %n{nicht}
(domain sectorValueOfGDP 2 IndustryAttribute)	Economy.kif 1120-1120	Die Zahl 2 Argument von sectorValueOfGDP ist ein fall von IndustryAttribute %n{nicht}
(domain sectorValueOfGDP 3 CurrencyMeasure)	Economy.kif 1121-1121	Die Zahl 3 Argument von sectorValueOfGDP ist ein fall von CurrencyMeasure %n{nicht}
(instance sectorValueOfGDP PPPBasedEconomicValuation)	Economy.kif 1117-1117	sectorValueOfGDP ist ein fall von PPPBasedEconomicValuation %n{nicht}
(instance sectorValueOfGDP TernaryPredicate)	Economy.kif 1118-1118	sectorValueOfGDP ist ein fall von TernaryPredicate %n{nicht}

appearance as argument number 2

(format ChineseLanguage sectorValueOfGDP "%1 %n 是对于 %3 的 sector GDP 价值 %2 ")	domainEnglishFormat.kif 2235-2235
(format ChineseTraditionalLanguage sectorValueOfGDP "%1 %n 是對於 %3 的 sector GDP 價值 %2 ")	domainEnglishFormat.kif 2234-2234
(format EnglishLanguage sectorValueOfGDP "%1 is %n sector value of GDP %2 for %3")	domainEnglishFormat.kif 2233-2233
(termFormat ChineseLanguage sectorValueOfGDP "GDP的行业价值")	domainEnglishFormat.kif 51861-51861
(termFormat ChineseTraditionalLanguage sectorValueOfGDP "GDP的行業價值")	domainEnglishFormat.kif 51860-51860
(termFormat EnglishLanguage sectorValueOfGDP "sector value of GDP")	domainEnglishFormat.kif 51859-51859

consequent

(<=>
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR
        (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorValueOfGDP ?AREA ?SECTOR
                    (MeasureFn ?AMOUNT ?CUNIT))))))

Economy.kif 1129-1137

sectorValueOfGDPInPeriod GeopoliticalArea, IndustryAttribute, RealNumber UnitOfMeasure(s) and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und sectorValueOfGDP ** GeopoliticalArea, ** IndustryAttribute and ** RealNumber ** UnitOfMeasure(s) haelt waehrend ** TimePosition %n{nicht}

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: