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 7281-7282
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7283-7283 The number 1 argument of headquarters of organization is an instance of organization
(domain headquartersOfOrganization 2 GeopoliticalArea) Mid-level-ontology.kif 7284-7284 The number 2 argument of headquarters of organization is an instance of geopolitical area
(instance headquartersOfOrganization BinaryPredicate) Mid-level-ontology.kif 7285-7285 headquarters of organization is an instance of binary predicate
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7286-7286 headquarters of organization is a subrelation of located

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


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

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


(headquartersOfOrganization BritishSeagullCorp UnitedKingdom) Cars.kif 4708-4708 The headquarters of British Seagull corp is in united kingdom
(headquartersOfOrganization CosworthCorp England) Cars.kif 5139-5139 The headquarters of Cosworth Corporation is in England
(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4468-4468 The headquarters of General Motors is in united states
(headquartersOfOrganization HarleyDavidsonCorp UnitedStates) Cars.kif 4556-4556 The headquarters of Harley Davidson is in united states
(headquartersOfOrganization HoldenCorporation Australia) Cars.kif 4471-4471 The headquarters of Holden Corporation is in australia
(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 4987-4987 The headquarters of Peterbilt is in texas
(headquartersOfOrganization RoverGroup UnitedKingdom) Cars.kif 4690-4690 The headquarters of RoverGroup is in united kingdom
(headquartersOfOrganization SimmonsCorp Australia) Cars.kif 4817-4817 The headquarters of SimmonsCorp is in australia
(headquartersOfOrganization SortimoCorp Germany) Cars.kif 5087-5087 The headquarters of Sortimo Corporation is in germany


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners