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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - headquartersOfOrganization
headquartersOfOrganization

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


(documentation headquartersOfOrganization EnglishLanguage "(headquartersOfOrganization ?ORG ?AREA) means that the Organization ?ORG is headquartered in ?AREA.") Mid-level-ontology.kif 7530-7531
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7532-7532
(domain headquartersOfOrganization 2 GeopoliticalArea) Mid-level-ontology.kif 7533-7533
(instance headquartersOfOrganization BinaryPredicate) Mid-level-ontology.kif 7534-7534
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7535-7535

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


(format ChineseLanguage headquartersOfOrganization "%1 的 headquarters 是在 %2 ") domainEnglishFormat.kif 3626-3626
(format ChineseTraditionalLanguage headquartersOfOrganization "%1 的 headquarters 是在 %2 ") domainEnglishFormat.kif 3625-3625
(format EnglishLanguage headquartersOfOrganization "the headquarters of %1 is in %2") domainEnglishFormat.kif 3624-3624
(termFormat ChineseLanguage headquartersOfOrganization "组织总部") domainEnglishFormat.kif 27722-27722
(termFormat ChineseTraditionalLanguage headquartersOfOrganization "組織總部") domainEnglishFormat.kif 27721-27721
(termFormat EnglishLanguage headquartersOfOrganization "headquarters of organization") domainEnglishFormat.kif 27720-27720

appearance as argument number 0
-------------------------


(headquartersOfOrganization BritishSeagullCorp UnitedKingdom) Cars.kif 4728-4728
(headquartersOfOrganization ByteDance Beijing) ComputingBrands.kif 4606-4606
(headquartersOfOrganization ChineseCommunistParty China) Government.kif 2274-2274
(headquartersOfOrganization CosworthCorp England) Cars.kif 5159-5159
(headquartersOfOrganization EBay California) ComputingBrands.kif 4672-4672
(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4495-4495
(headquartersOfOrganization HarleyDavidsonCorp UnitedStates) Cars.kif 4576-4576
(headquartersOfOrganization HoldenCorporation Australia) Cars.kif 4498-4498
(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 5007-5007
(headquartersOfOrganization RoverGroup UnitedKingdom) Cars.kif 4710-4710
(headquartersOfOrganization SimmonsCorp Australia) Cars.kif 4837-4837
(headquartersOfOrganization SortimoCorp Germany) Cars.kif 5107-5107


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