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
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2415-2415 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 2418-2418
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2417-2417
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2416-2416
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2419-2419

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2421-2425 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
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2409-2413 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