Sigma Knowledge Engineering Environment

Manifest : Welcome guest : log in

[ Home | Graph | LogLearn | ] KB: Language:

Formal Language:

Files which are the constituents of the SUMO knowledge base

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

Reload constituents

Errors in KB SUMO

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage ASEANRegionalForum "东盟区域论坛")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage Asbestos "石棉")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AsbestosDisposalIssue "石棉处理问题")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AshdodIsrael "阿什多德以色列")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AshmoreAndCartierIslands "阿什莫尔和卡地亚岛屿")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AshtianiLanguage "ashtiani语言")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage Asia "亚洲")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AsiaPacificEconomicCooperation "亚太经济合作")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AsianDevelopmentBank "亚洲开发银行")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AsianEthnicity "亚洲种族")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AskelonIsrael "阿什克伦以色列")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AsmaraEritrea "阿斯马拉厄立特里亚")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage Asphalt "沥青")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AsphaltPavingMixtureAndBlockManufacturing "沥青摊铺混合料和块料制造")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AsphaltPavingRoofingAndSaturatedMaterialsManufacturing "沥青铺设屋面和饱和材料制造")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage AsphaltShingleAndCoatingMaterialsManufacturing "沥青瓦和涂料制造")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseLanguage askPrice "问价格")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseTraditionalLanguage ASEANRegionalForum "東盟區域論壇")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseTraditionalLanguage Asia "亞洲")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseTraditionalLanguage AsianEthnicity "亞洲種族")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseTraditionalLanguage Asphalt "瀝青")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat ChineseTraditionalLanguage askPrice "問價格")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage ASEANRegionalForum "ASEAN regional forum")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AsbestosDisposalIssue "asbestos disposal issue")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AshdodIsrael "ashdod israel")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AshmoreAndCartierIslands "ashmore and cartier islands")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AshtianiLanguage "ashtiani language")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage Asia "asia")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AsiaPacificEconomicCooperation "asia pacific economic cooperation")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AsianDevelopmentBank "asian development bank")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AsianEthnicity "asian ethnicity")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AskelonIsrael "askelon israel")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AsmaraEritrea "asmara eritrea")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage Asphalt "asphalt")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AsphaltPavingMixtureAndBlockManufacturing "asphalt paving mixture and block manufacturing")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AsphaltPavingRoofingAndSaturatedMaterialsManufacturing "asphalt paving roofing and saturated materials manufacturing")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AsphaltShingleAndCoatingMaterialsManufacturing "asphalt shingle and coating materials manufacturing")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage AssameseBasedCreoleLanguage "assamese based creole language")

Formula in /home/srose/.sigmakee/KBs/domainEnglishFormat.kif rejected due to arity error of predicate termFormat in formula:br>
(termFormat EnglishLanguage askPrice "ask price")

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 is open source software produced by Articulate Software and its partners