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
capitalCity
Sigma KEE - capitalCity
capitalCity
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Government.kif 379-380
No TPTP formula. May not be expressible in strict first order.
Government.kif 375-375
The number 1 argument of
capital city
is an
instance
of
city
No TPTP formula. May not be expressible in strict first order.
Government.kif 376-376
The number 2 argument of
capital city
is an
instance
of
geopolitical area
No TPTP formula. May not be expressible in strict first order.
Government.kif 374-374
capital city
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Government.kif 377-377
capital city
is a
subrelation
of
administrative center
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 356-356
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 355-355
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 354-354
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13080-13080
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13079-13079
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 13078-13078
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 717-717
Germany
is a
capital
city of
berlin germany
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 721-721
Switzerland
is a
capital
city of
bern switzerland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 858-858
Ohio
is a
capital
city of
columbus ohio
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 844-844
Denmark
is a
capital
city of
copenhagen denmark
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 838-838
Colorado
is a
capital
city of
denver colorado
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 825-825
Hawaii
is a
capital
city of
honolulu hawaii
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 1837-1837
Israel
is a
capital
city of
jerusalem israel
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2980-2980
West bank
is a
capital
city of
Jerusalem Palestine
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 68-68
United kingdom
is a
capital
city of
London
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 749-749
Russia
is a
capital
city of
moscow russia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 56-56
France
is a
capital
city of
paris
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 771-771
Rhode island
is a
capital
city of
providence rhode island
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 775-775
Virginia
is a
capital
city of
richmond virginia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 779-779
Italy
is a
capital
city of
rome italy
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 786-786
Minnesota
is a
capital
city of
saint paul minnesota
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2389-2389
Japan
is a
capital
city of
tokyo japan
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 802-802
Poland
is a
capital
city of
warsaw poland
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 1050-1050
United states
is a
capital
city of
washingtonDC united states
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