Manifest : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language: 
  Formal Language: 

Configure KB constituents from /var/lib/sigmakee-data/.sigmakee/KBs
Use KIF file
Anatomy.kif
Animals.kif
ArabicCulture.kif
Biography.kif
CCTrep.kif
Cars.kif
Catalog.kif
ClimateStatecraft.kif
Communications.kif
ComputerInput.kif
ComputingBrands.kif
CountriesAndRegions.kif
DARPA_ARC.kif
Dining.kif
Economy.kif
FOAFmap.kif
Facebook.kif
FinancialOntology.kif
Food.kif
GentleM.kif
GeochronologicTimes.kif
Geography.kif
Government.kif
Hotel.kif
HouseholdAppliances.kif
Justice.kif
Languages.kif
Law.kif
Media.kif
Medicine.kif
Merge.kif
Mid-level-ontology.kif
Military.kif
MilitaryDevices.kif
MilitaryPersons.kif
MilitaryProcesses.kif
ModSim.kif
Music.kif
NameTermFormat.kif
NavalModeling.kif
Objects.kif
People.kif
QoSontology.kif
Sports.kif
TransnationalIssues.kif
TransportDetail.kif
Transportation.kif
Trees.kif
UXExperimentalTerms.kif
VirusProteinAndCellPart.kif
WMD.kif
Weather.kif
WeatherStatecraft.kif
WorldAirports.kif
arteries.kif
capabilities.kif
domainEnglishFormat.kif
emotion.kif
engineering.kif
english_format.kif
mondial.kif
naics.kif
nlg_supplement_formats.kif
pictureList-ImageNet.kif
pictureList.kif
tinyHOL.kif
tinyIntSUMO.kif
tinySUMO.kif

Log in as admin to change selected constituents.

Return to home page

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-d6e39019 (2026-08-12) is open source software produced by Articulate Software and its partners