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

Files which are the constituents of the SUMO knowledge base

File Name Operations
/var/lib/sigmakee-data/.sigmakee/KBs/english_format.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/domainEnglishFormat.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/ArabicCulture.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Anatomy.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/arteries.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Biography.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Cars.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Catalog.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Communications.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/CountriesAndRegions.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/ComputingBrands.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Dining.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Economy.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/emotion.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/engineering.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Facebook.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/FinancialOntology.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Food.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Geography.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Government.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Hotel.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Justice.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Languages.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Law.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Media.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Medicine.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Merge.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Mid-level-ontology.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/MilitaryDevices.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Military.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/MilitaryPersons.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/MilitaryProcesses.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Music.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/naics.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/People.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/pictureList.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/pictureList-ImageNet.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/QoSontology.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Sports.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/TransnationalIssues.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Transportation.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/TransportDetail.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/UXExperimentalTerms.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/VirusProteinAndCellPart.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/Weather.kif 
/var/lib/sigmakee-data/.sigmakee/KBs/WMD.kif 

Reload constituents


Warnings in KB SUMO
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, 12 duplicate statements detected in /var/lib/sigmakee-data/.sigmakee/KBs/tinySUMO.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-a0f4e817 (2026-06-09) is open source software produced by Articulate Software and its partners