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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SteveJobsOfApple

Sigma KEE - SteveJobsOfApple
SteveJobsOfApple(Steve Jobs)

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


(instance SteveJobsOfApple Human) ComputingBrands.kif 2447-2447 Steve Jobs is an instance of human

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


(termFormat ChineseLanguage SteveJobsOfApple "史蒂芬·贾伯斯") ComputingBrands.kif 2450-2450
(termFormat ChineseTraditionalLanguage SteveJobsOfApple "史蒂芬·賈伯斯") ComputingBrands.kif 2449-2449
(termFormat EnglishLanguage SteveJobsOfApple "Steve Jobs") ComputingBrands.kif 2448-2448
(termFormat JapaneseLanguage SteveJobsOfApple "スティーブ・ジョブズ氏") ComputingBrands.kif 2451-2451

statement
-------------------------


(exists (?T)
    (and
        (instance ?T
            (YearFn 1976))
        (holdsDuring ?T
            (coworker SteveJobsOfApple SteveWozniakOfApple))))
ComputingBrands.kif 2453-2457 There exists a time position such that the time position is an instance of the year 1976 and Steve Wozniak is a coworker of Steve Jobs holds during the time position
(exists (?T)
    (and
        (instance ?T
            (YearFn 2002))
        (holdsDuring ?T
            (coworker SteveJobsOfApple TimCookOfApple))))
ComputingBrands.kif 2441-2445 There exists a time position such that the time position is an instance of the year 2002 and Tim Cook is a coworker of Steve Jobs holds during the time position


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