Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 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