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 4503-4503 The headquarters of General Motors is in united states
No TPTP formula. May not be expressible in strict first order. Cars.kif 4501-4501 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 4975-4975 The maker of Chevrolet automobile is General Motors
No TPTP formula. May not be expressible in strict first order. Cars.kif 5128-5128 The maker of Corvette is General Motors
No TPTP formula. May not be expressible in strict first order. Cars.kif 5124-5124 The maker of ls1 engine is General Motors
No TPTP formula. May not be expressible in strict first order. Cars.kif 4511-4511 Holden Corporation is a part of the organization General Motors
No TPTP formula. May not be expressible in strict first order. Cars.kif 4502-4502


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