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

Files which are the constituents of the SUMO knowledge base
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.


Warnings in KB SUMO

Duplicate axiom at line:190 of /var/lib/sigmakee-data/.sigmakee/KBs/ClimateStatecraft.kif: (subclass Cyanobacteria Photoautotroph)


Duplicate axiom at line:190 of /var/lib/sigmakee-data/.sigmakee/KBs/WeatherStatecraft.kif: (subclass Cyanobacteria Photoautotroph)


Duplicate axiom at line:2098 of /var/lib/sigmakee-data/.sigmakee/KBs/Medicine.kif: (termFormat EnglishLanguage Insomnia "insomnia")


Duplicate axiom at line:22008 of /var/lib/sigmakee-data/.sigmakee/KBs/Mid-level-ontology.kif: (subclass OpeningEye FacialExpression)


Duplicate axiom at line:3143 of /var/lib/sigmakee-data/.sigmakee/KBs/Food.kif: (roomTempState Cream Liquid)


Duplicate axiom at line:327 of /var/lib/sigmakee-data/.sigmakee/KBs/Trees.kif: (subclass MerbauTree BotanicalTree)


Duplicate axiom at line:328 of /var/lib/sigmakee-data/.sigmakee/KBs/Trees.kif: (documentation MerbauTree EnglishLanguage "A kind of &%BotanicalTree.")


Duplicate axiom at line:329 of /var/lib/sigmakee-data/.sigmakee/KBs/Trees.kif: (termFormat EnglishLanguage MerbauTree "merbau tree")


Duplicate axiom at line:386 of /var/lib/sigmakee-data/.sigmakee/KBs/ComputerInput.kif: (subclass ComputerKeyboard Keyboard)


Duplicate axiom at line:44217 of /var/lib/sigmakee-data/.sigmakee/KBs/WorldAirports.kif: (termFormat EnglishLanguage SpanishMorocco "Spanish Morocco")

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/ClimateStatecraft.kif

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/ComputerInput.kif

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/Food.kif

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/Medicine.kif

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/Mid-level-ontology.kif

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/WeatherStatecraft.kif

WARNING in KIFAST, 1 duplicate statement detected in /var/lib/sigmakee-data/.sigmakee/KBs/WorldAirports.kif

WARNING in KIFAST, 3 duplicate statements detected in /var/lib/sigmakee-data/.sigmakee/KBs/Trees.kif

You are not authorized to visit TestStmnt.jsp

Return to home page

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-55e0ac83 (2026-07-10) is open source software produced by Articulate Software and its partners