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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeneralMotorsCorp
GeneralMotorsCorp

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4503-4503 headquartersOfOrganization GeneralMotorsCorp and UnitedStates
No TPTP formula. May not be expressible in strict first order. Cars.kif 4501-4501 GeneralMotorsCorp e' uma instancia de Empresa

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 4975-4975 manufacturer ChevroletAutomobile and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 5128-5128 manufacturer Corvette and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 5124-5124 manufacturer GMLs1V8engine and GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4511-4511 HoldenCorporation e' uma parte da organizacao GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order. Cars.kif 4502-4502


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