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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SteveJobsOfApple
SteveJobsOfApple(スティーブ・ジョブズ氏)

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


(instance SteveJobsOfApple Human) ComputingBrands.kif 2418-2418 instance スティーブ・ジョブズ氏 and Human

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


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

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


(holdsDuring
    (YearFn 1976)
    (coworker SteveJobsOfApple SteveWozniakOfApple))
ComputingBrands.kif 2424-2424 holdsDuring YearFn 1976 and coworker スティーブ・ジョブズ氏 and スティーブ・ウオズニアック氏
(holdsDuring
    (YearFn 2002)
    (coworker SteveJobsOfApple TimCookOfApple))
ComputingBrands.kif 2416-2416 holdsDuring YearFn 2002 and coworker スティーブ・ジョブズ氏 and ティム・クック氏


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 3.0 is open source software produced by Articulate Software and its partners