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


(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4556-4556 headquartersOfOrganization GeneralMotorsCorp and UnitedStates
(instance GeneralMotorsCorp Corporation) Cars.kif 4554-4554 GeneralMotorsCorp is an instance of corporation

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


(manufacturer ChevroletAutomobile GeneralMotorsCorp) Cars.kif 5028-5028 manufacturer ChevroletAutomobile and GeneralMotorsCorp
(manufacturer Corvette GeneralMotorsCorp) Cars.kif 5181-5181 manufacturer Corvette and GeneralMotorsCorp
(manufacturer GMLs1V8engine GeneralMotorsCorp) Cars.kif 5177-5177 manufacturer GMLs1V8engine and GeneralMotorsCorp
(subOrganization HoldenCorporation GeneralMotorsCorp) Cars.kif 4564-4564 HoldenCorporation is a part of the organization GeneralMotorsCorp
(termFormat EnglishLanguage GeneralMotorsCorp "General Motors") Cars.kif 4555-4555 HoldenCorporation is a part of the organization GeneralMotorsCorp


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