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 7260-7261
(domain headquartersOfOrganization 1 Organization) Mid-level-ontology.kif 7262-7262 The number 1 argument of headquarters of organization is an instance of organization
(domain headquartersOfOrganization 2 GeopoliticalArea) Mid-level-ontology.kif 7263-7263 The number 2 argument of headquarters of organization is an instance of geopolitical area
(instance headquartersOfOrganization BinaryPredicate) Mid-level-ontology.kif 7264-7264 headquarters of organization is an instance of binary predicate
(subrelation headquartersOfOrganization located) Mid-level-ontology.kif 7265-7265 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 4709-4709 The headquarters of British Seagull corp is in united kingdom
(headquartersOfOrganization CosworthCorp England) Cars.kif 5140-5140 The headquarters of Cosworth Corporation is in England
(headquartersOfOrganization GeneralMotorsCorp UnitedStates) Cars.kif 4469-4469 The headquarters of General Motors is in united states
(headquartersOfOrganization HarleyDavidsonCorp UnitedStates) Cars.kif 4557-4557 The headquarters of Harley Davidson is in united states
(headquartersOfOrganization HoldenCorporation Australia) Cars.kif 4472-4472 The headquarters of Holden Corporation is in australia
(headquartersOfOrganization PeterbiltCorp Texas) Cars.kif 4988-4988 The headquarters of Peterbilt is in texas
(headquartersOfOrganization RoverGroup UnitedKingdom) Cars.kif 4691-4691 The headquarters of RoverGroup is in united kingdom
(headquartersOfOrganization SimmonsCorp Australia) Cars.kif 4818-4818 The headquarters of SimmonsCorp is in australia
(headquartersOfOrganization SortimoCorp Germany) Cars.kif 5088-5088 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 3.0 is open source software produced by Articulate Software and its partners