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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeneralMotorsCorp

 Sigma KEE - GeneralMotorsCorp
GeneralMotorsCorp(General Motors)

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4495-4495 The headquarters of General Motors is in united states
No TPTP formula. May not be expressible in strict first order. Cars.kif 4493-4493 General Motors is an instance of corporation

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4967-4967 The maker of Chevrolet automobile is General Motors
No TPTP formula. May not be expressible in strict first order. Cars.kif 5120-5120 The maker of Corvette is General Motors
No TPTP formula. May not be expressible in strict first order. Cars.kif 5116-5116 The maker of ls1 engine is General Motors
No TPTP formula. May not be expressible in strict first order. Cars.kif 4503-4503 Holden Corporation is a part of the organization General Motors
No TPTP formula. May not be expressible in strict first order. Cars.kif 4494-4494


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