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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 7571-7572
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7573-7573 The number 1 argument of headquarters of organization is an instance of organization
(domain headquartersOfOrganization 2 GeopoliticalArea) Mid-level-ontology.kif 7574-7574 The number 2 argument of headquarters of organization is an instance of geopolitical area
(instance headquartersOfOrganization BinaryPredicate) Mid-level-ontology.kif 7575-7575 headquarters of organization is an instance of binary predicate
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7576-7576 headquarters of organization is a subrelation of located

appearance as argument number 2

(format ChineseLanguage headquartersOfOrganization "%1 的 headquarters 是在 %2 ") domainEnglishFormat.kif 3622-3622
(format ChineseTraditionalLanguage headquartersOfOrganization "%1 的 headquarters 是在 %2 ") domainEnglishFormat.kif 3621-3621
(format EnglishLanguage headquartersOfOrganization "the headquarters of %1 is in %2") domainEnglishFormat.kif 3620-3620
(termFormat ChineseLanguage headquartersOfOrganization "组织总部") domainEnglishFormat.kif 27732-27732
(termFormat ChineseTraditionalLanguage headquartersOfOrganization "組織總部") domainEnglishFormat.kif 27731-27731
(termFormat EnglishLanguage headquartersOfOrganization "headquarters of organization") domainEnglishFormat.kif 27730-27730

appearance as argument number 0

(headquartersOfOrganization Aetna Connecticut) Medicine.kif 5559-5559 The headquarters of Aetna is in connecticut
(headquartersOfOrganization AstraZeneca England) Medicine.kif 4805-4805 The headquarters of AstraZeneca is in England
(headquartersOfOrganization BritishSeagullCorp UnitedKingdom) Cars.kif 4728-4728 The headquarters of British Seagull corp is in united kingdom
(headquartersOfOrganization ByteDance Beijing) ComputingBrands.kif 4608-4608 The headquarters of ByteDance is in Beijing
(headquartersOfOrganization ChineseCommunistParty China) Government.kif 2274-2274 The headquarters of CCP is in china
(headquartersOfOrganization CosworthCorp England) Cars.kif 5159-5159 The headquarters of Cosworth Corporation is in England
(headquartersOfOrganization EBay California) ComputingBrands.kif 4674-4674 The headquarters of eBay is in california
(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4495-4495 The headquarters of General Motors is in united states
(headquartersOfOrganization HarleyDavidsonCorp UnitedStates) Cars.kif 4576-4576 The headquarters of Harley Davidson is in united states
(headquartersOfOrganization HoldenCorporation Australia) Cars.kif 4498-4498 The headquarters of Holden Corporation is in australia
(headquartersOfOrganization LabCorp NorthCarolina) Medicine.kif 4408-4408 The headquarters of LabCorp is in north carolina
(headquartersOfOrganization Netflix California) Medicine.kif 4555-4555 The headquarters of Netflix Corp. is in california
(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 5007-5007 The headquarters of Peterbilt is in texas
(headquartersOfOrganization ProPublica NewYorkCityUnitedStates) Medicine.kif 4586-4586 The headquarters of Pro Publica Inc. is in new york city united states
(headquartersOfOrganization RoverGroup UnitedKingdom) Cars.kif 4710-4710 The headquarters of Rover group is in united kingdom
(headquartersOfOrganization SimmonsCorp Australia) Cars.kif 4837-4837 The headquarters of Simmons corp is in australia
(headquartersOfOrganization SortimoCorp Germany) Cars.kif 5107-5107 The headquarters of Sortimo Corporation is in germany
(headquartersOfOrganization Walmart Arkansas) Medicine.kif 5191-5191 The headquarters of Walmart is in arkansas

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