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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SteveJobsOfApple
SteveJobsOfApple(Steve Jobs)Steve_Jobs, スティーブ・ジョブズ氏, 史蒂芬·賈伯斯, 史蒂芬·贾伯斯

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2420-2420 Steve Jobs is an instance of human

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2423-2423 "史蒂芬·贾伯斯" is the printable form of Steve Jobs in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2422-2422 "史蒂芬·賈伯斯" is the printable form of Steve Jobs in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2421-2421 "Steve Jobs" is the printable form of Steve Jobs in english language
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2424-2424 "スティーブ・ジョブズ氏" is the printable form of Steve Jobs in japanese language

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2426-2426 Steve Wozniak is a coworker of Steve Jobs holds during the year 1976
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2418-2418 Tim Cook is a coworker of Steve Jobs holds during the year 2002


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners