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


KB Term:  Term intersection
English Word: 

  headquartersOfOrganization

 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 8892-8893
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 8894-8894 The number 1 argument of headquarters of organization is an instance of organization
(domain headquartersOfOrganization 2 GeopoliticalArea) Mid-level-ontology.kif 8895-8895 The number 2 argument of headquarters of organization is an instance of geopolitical area
(instance headquartersOfOrganization BinaryPredicate) Mid-level-ontology.kif 8896-8896 headquarters of organization is an instance of binary predicate
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 8897-8897 headquarters of organization is a subrelation of located

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


(format EnglishLanguage headquartersOfOrganization "the headquarters of %1 is in %2") domainEnglishFormat.kif 3618-3618
(format ChineseTraditionalLanguage headquartersOfOrganization "%1 的 headquarters 是在 %2 ") domainEnglishFormat.kif 3619-3619
(format ChineseLanguage headquartersOfOrganization "%1 的 headquarters 是在 %2 ") domainEnglishFormat.kif 3620-3620
(termFormat EnglishLanguage headquartersOfOrganization "headquarters of organization") domainEnglishFormat.kif 27734-27734
(termFormat ChineseTraditionalLanguage headquartersOfOrganization "組織總部") domainEnglishFormat.kif 27735-27735
(termFormat ChineseLanguage headquartersOfOrganization "组织总部") domainEnglishFormat.kif 27736-27736

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


(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4387-4387 The headquarters of General Motors is in united states
(headquartersOfOrganization HoldenCorporation Australia) Cars.kif 4390-4390 The headquarters of Holden Corporation is in australia
(headquartersOfOrganization HarleyDavidsonCorp UnitedStates) Cars.kif 4468-4468 The headquarters of Harley Davidson is in united states
(headquartersOfOrganization RoverGroup UnitedKingdom) Cars.kif 4602-4602 The headquarters of Rover group is in united kingdom
(headquartersOfOrganization BritishSeagullCorp UnitedKingdom) Cars.kif 4620-4620 The headquarters of British Seagull corp is in united kingdom
(headquartersOfOrganization SimmonsCorp Australia) Cars.kif 4729-4729 The headquarters of Simmons corp is in australia
(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 4899-4899 The headquarters of Peterbilt is in texas
(headquartersOfOrganization SortimoCorp Germany) Cars.kif 4999-4999 The headquarters of Sortimo Corporation is in germany
(headquartersOfOrganization CosworthCorp England) Cars.kif 5051-5051 The headquarters of Cosworth Corporation is in England
(headquartersOfOrganization ByteDance Beijing) ComputingBrands.kif 4519-4519 The headquarters of ByteDance is in Beijing
(headquartersOfOrganization EBay California) ComputingBrands.kif 4585-4585 The headquarters of eBay is in california
(headquartersOfOrganization ChineseCommunistParty China) Government.kif 2244-2244 The headquarters of CCP is in china
(headquartersOfOrganization LabCorp NorthCarolina) Medicine.kif 4429-4429 The headquarters of LabCorp is in north carolina
(headquartersOfOrganization Netflix California) Medicine.kif 4576-4576 The headquarters of Netflix Corp. is in california
(headquartersOfOrganization ProPublica NewYorkCityUnitedStates) Medicine.kif 4607-4607 The headquarters of Pro Publica Inc. is in new york city united states
(headquartersOfOrganization AstraZeneca England) Medicine.kif 4826-4826 The headquarters of AstraZeneca is in England
(headquartersOfOrganization Walmart Arkansas) Medicine.kif 5213-5213 The headquarters of Walmart is in arkansas
(headquartersOfOrganization Aetna Connecticut) Medicine.kif 5581-5581 The headquarters of Aetna is in connecticut
(headquartersOfOrganization LockheedMartin Maryland) Transportation.kif 5307-5307 The headquarters of Lockheed Martin is in maryland
(headquartersOfOrganization RTXCorporation Virginia) Transportation.kif 5393-5393 The headquarters of RTX Corporation is in virginia


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners