Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  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 7570-7571
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7572-7572
(domain headquartersOfOrganization 2 GeopoliticalArea) Mid-level-ontology.kif 7573-7573
(instance headquartersOfOrganization BinaryPredicate) Mid-level-ontology.kif 7574-7574
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7575-7575

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
(headquartersOfOrganization AstraZeneca England) Medicine.kif 4805-4805
(headquartersOfOrganization BritishSeagullCorp UnitedKingdom) Cars.kif 4736-4736
(headquartersOfOrganization ByteDance Beijing) ComputingBrands.kif 4608-4608
(headquartersOfOrganization ChineseCommunistParty China) Government.kif 2274-2274
(headquartersOfOrganization CosworthCorp England) Cars.kif 5167-5167
(headquartersOfOrganization EBay California) ComputingBrands.kif 4674-4674
(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4503-4503
(headquartersOfOrganization HarleyDavidsonCorp UnitedStates) Cars.kif 4584-4584
(headquartersOfOrganization HoldenCorporation Australia) Cars.kif 4506-4506
(headquartersOfOrganization LabCorp NorthCarolina) Medicine.kif 4408-4408
(headquartersOfOrganization Netflix California) Medicine.kif 4555-4555
(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 5015-5015
(headquartersOfOrganization ProPublica NewYorkCityUnitedStates) Medicine.kif 4586-4586
(headquartersOfOrganization RoverGroup UnitedKingdom) Cars.kif 4718-4718
(headquartersOfOrganization SimmonsCorp Australia) Cars.kif 4845-4845
(headquartersOfOrganization SortimoCorp Germany) Cars.kif 5115-5115
(headquartersOfOrganization Walmart Arkansas) Medicine.kif 5191-5191


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