TimCookOfApple - Sigma Knowledge base Browser

appearance as argument number 1

appearance as argument number 2

(termFormat EnglishLanguage TimCookOfApple "Tim Cook")	ComputingBrands.kif 2436-2436
(termFormat ChineseTraditionalLanguage TimCookOfApple "提姆·庫克")	ComputingBrands.kif 2437-2437
(termFormat ChineseLanguage TimCookOfApple "提姆·库克")	ComputingBrands.kif 2438-2438
(termFormat JapaneseLanguage TimCookOfApple "ティム・クック氏")	ComputingBrands.kif 2439-2439

statement

(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))

There exists X such that X is an instance of the year 2002 and Tim Cook is a coworker of Steve Jobs holds during X