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 7570-7571
(
domain
headquartersOfOrganization
1
Organization
)
Mid-level-ontology.kif 7572-7572
The number 1 argument of
headquarters of organization
is an
instance
of
organization
(
domain
headquartersOfOrganization
2
GeopoliticalArea
)
Mid-level-ontology.kif 7573-7573
The number 2 argument of
headquarters of organization
is an
instance
of
geopolitical area
(
instance
headquartersOfOrganization
BinaryPredicate
)
Mid-level-ontology.kif 7574-7574
headquarters of organization
is an
instance
of
binary predicate
(
subrelation
headquartersOfOrganization
located
)
Mid-level-ontology.kif 7575-7575
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 4736-4736
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 5167-5167
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 4503-4503
The
headquarters
of
General Motors
is in
united states
(
headquartersOfOrganization
HarleyDavidsonCorp
UnitedStates
)
Cars.kif 4584-4584
The
headquarters
of
Harley Davidson
is in
united states
(
headquartersOfOrganization
HoldenCorporation
Australia
)
Cars.kif 4506-4506
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 5015-5015
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 4718-4718
The
headquarters
of
Rover group
is in
united kingdom
(
headquartersOfOrganization
SimmonsCorp
Australia
)
Cars.kif 4845-4845
The
headquarters
of
Simmons corp
is in
australia
(
headquartersOfOrganization
SortimoCorp
Germany
)
Cars.kif 5115-5115
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