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

Formal Language: 



Files which are the constituents of the SUMO knowledge base

File Name Operations
/home/apease/.sigmakee/KBs/english_format.kif 
/home/apease/.sigmakee/KBs/Translations/chinese_format.kif 
/home/apease/.sigmakee/KBs/domainEnglishFormat.kif 
/home/apease/.sigmakee/KBs/Anatomy.kif 
/home/apease/.sigmakee/KBs/arteries.kif 
/home/apease/.sigmakee/KBs/ArabicCulture.kif 
/home/apease/.sigmakee/KBs/Biography.kif 
/home/apease/.sigmakee/KBs/Cars.kif 
/home/apease/.sigmakee/KBs/Catalog.kif 
/home/apease/.sigmakee/KBs/Communications.kif 
/home/apease/.sigmakee/KBs/ComputerInput.kif 
/home/apease/.sigmakee/KBs/ComputingBrands.kif 
/home/apease/.sigmakee/KBs/CountriesAndRegions.kif 
/home/apease/.sigmakee/KBs/Dining.kif 
/home/apease/.sigmakee/KBs/Economy.kif 
/home/apease/.sigmakee/KBs/emotion.kif 
/home/apease/.sigmakee/KBs/engineering.kif 
/home/apease/.sigmakee/KBs/FinancialOntology.kif 
/home/apease/.sigmakee/KBs/Food.kif 
/home/apease/.sigmakee/KBs/Geography.kif 
/home/apease/.sigmakee/KBs/Government.kif 
/home/apease/.sigmakee/KBs/Hotel.kif 
/home/apease/.sigmakee/KBs/Justice.kif 
/home/apease/.sigmakee/KBs/Languages.kif 
/home/apease/.sigmakee/KBs/Law.kif 
/home/apease/.sigmakee/KBs/Media.kif 
/home/apease/.sigmakee/KBs/Medicine.kif 
/home/apease/.sigmakee/KBs/Merge.kif 
/home/apease/.sigmakee/KBs/Mid-level-ontology.kif 
/home/apease/.sigmakee/KBs/MilitaryDevices.kif 
/home/apease/.sigmakee/KBs/Military.kif 
/home/apease/.sigmakee/KBs/MilitaryPersons.kif 
/home/apease/.sigmakee/KBs/MilitaryProcesses.kif 
/home/apease/.sigmakee/KBs/Music.kif 
/home/apease/.sigmakee/KBs/development/Muscles.kif 
/home/apease/.sigmakee/KBs/naics.kif 
/home/apease/.sigmakee/KBs/People.kif 
/home/apease/.sigmakee/KBs/pictureList.kif 
/home/apease/.sigmakee/KBs/pictureList-ImageNet.kif 
/home/apease/.sigmakee/KBs/QoSontology.kif 
/home/apease/.sigmakee/KBs/Sports.kif 
/home/apease/.sigmakee/KBs/TransnationalIssues.kif 
/home/apease/.sigmakee/KBs/Transportation.kif 
/home/apease/.sigmakee/KBs/TransportDetail.kif 
/home/apease/.sigmakee/KBs/UXExperimentalTerms.kif 
/home/apease/.sigmakee/KBs/VirusProteinAndCellPart.kif 
/home/apease/.sigmakee/KBs/Weather.kif 
/home/apease/.sigmakee/KBs/WMD.kif 
/home/apease/.sigmakee/KBs/Translations/french_format.kif 
/home/apease/.sigmakee/KBs/Translations/japanese_format.kif 
/home/apease/.sigmakee/KBs/Translations/portuguese_format.kif 
/home/apease/.sigmakee/KBs/Translations/relations-cb.txt 
/home/apease/.sigmakee/KBs/Translations/relations-cz.txt 
/home/apease/.sigmakee/KBs/Translations/relations-de.txt 
/home/apease/.sigmakee/KBs/Translations/relations-hindi.txt 
/home/apease/.sigmakee/KBs/Translations/relations-it.txt 
/home/apease/.sigmakee/KBs/Translations/relations-ro.kif 
/home/apease/.sigmakee/KBs/Translations/relations-sv.txt 
/home/apease/.sigmakee/KBs/Translations/relations-tg.txt 
/home/apease/.sigmakee/KBs/Translations/terms-cb.txt 
/home/apease/.sigmakee/KBs/Translations/terms-cz.txt 
/home/apease/.sigmakee/KBs/Translations/terms-de.txt 
/home/apease/.sigmakee/KBs/Translations/terms-hindi.txt 
/home/apease/.sigmakee/KBs/Translations/terms-it.txt 
/home/apease/.sigmakee/KBs/Translations/terms-tg.txt 
/home/apease/.sigmakee/KBs/Translations/spanish_format.kif 


Reload constituents


Errors in KB SUMO
Error in KB.ask("ant", 0, ""), search term is null, or an empty string

Error in KB.ask("cons", 0, ""), search term is null, or an empty string

Error in KB.ask("stmt", 0, ""), search term is null, or an empty string

Error. /home/apease/.sigmakee/KBs/Translations/chinese_format.kif already loaded.

Error. /home/apease/.sigmakee/KBs/Translations/relations-cb.txt already loaded.


Warnings in KB SUMO

Duplicate axiom at line:467 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation StateOrProvince ChineseLanguage "这是一个 &%Nation 比现存其他政治分区更要广大的
行政分区。这个 &%Class 包括美国的州与加拿大和欧洲的省份。")


Duplicate axiom at line:783 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Decade ChineseLanguage "")


Duplicate axiom at line:784 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Decade ChineseLanguage "")


Duplicate axiom at line:785 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Decade ChineseLanguage "")


Duplicate axiom at line:786 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Decade ChineseLanguage "")


Duplicate axiom at line:787 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Decade ChineseLanguage "")


Duplicate axiom at line:788 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Decade ChineseLanguage "")


Duplicate axiom at line:789 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Decade ChineseLanguage "")


Duplicate axiom at line:790 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Decade ChineseLanguage "")


Duplicate axiom at line:793 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Decade ChineseLanguage "")


Duplicate axiom at line:339 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation ShoreArea ChineseLanguage "&%ShoreArea 一处是大约有1-3公里宽、与水域,如:海洋、
港湾、河流或湖泊接壤的 &%LandArea。&%ShoreArea 有可能包括和种各样的 &%LandForm,如沙丘、泥沼和沼泽。")


Duplicate axiom at line:341 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Continent ChineseLanguage "按照美国中情局关于世界事实一书的定义,&%Continent 包括
七个地块:&%Africa、 &%NorthAmerica、&%SouthAmerica、 &%Antarctica、 &%Europe、 &%Asia 和
&%Oceania。注:&%Australia在其他某些系统被定义为大陆,但是在事实这书则被列入 &%Oceania。因此,没有
一个 &%Nation 同时也是 &%Continent。")


Duplicate axiom at line:345 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Island ChineseLanguage "这是一片四面八方环 &%WaterArea 的 &%LandArea。")


Duplicate axiom at line:346 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Nation ChineseLanguage "这是最辽阔的 &%GeopoliticalArea,也就是说 &%Nation 是
不属于任何总体和综合管制架构一部分的 &%GeopoliticalArea (英联邦和其他各种宽松的国际组织除外)。")


Duplicate axiom at line:348 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation StateOrProvince ChineseLanguage "这是一个 &%Nation 比现存其他政治分区更要广大的
行政分区。这个 &%Class 包括美国的州与加拿大和欧洲的省份。")


Duplicate axiom at line:352 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation County ChineseLanguage "这是一个比城市要大的 &%GeopoliticalArea,它通常包括数个
城市,而又比 &%StateOrProvince 要小的政治区域。它是除了城市之外最小的地缘政治分区,县的名称因国家而异,
如:教区、公社等等。")


Duplicate axiom at line:355 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Transitway ChineseLanguage "&%Transitway 是在 &%Translocation 实例中,可能以
一条 &%path 通过范围最笼统的类别。&%Transitway 包括海陆空三个地区,而且它同时包括自然和人工交通工具。")


Duplicate axiom at line:357 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation LandTransitway ChineseLanguage "&%LandTransitway 是 &%Transitway 的子类别,它
代表用于在地面运行的地带。")


Duplicate axiom at line:359 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Roadway ChineseLanguage "&%Roadway 是 &%LandTransitway 的子类别,它是专为设有
自备电源、有轮胎,却不在轨道上运行的车辆在地面运行的地带。&%Roadway 起码要作稍微改善才能让车辆通过。
&%Roadway 包括泥路、砾石铺成的路、水泥或柏油路铺成的路和高速公路。")


Duplicate axiom at line:362 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Water ChineseLanguage "这是复合物H20样品的 &%Class。注:这个 &%Class 同时包括纯正
和非纯正的 &%Water。")


Duplicate axiom at line:364 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation Mineral ChineseLanguage "这是各种天然存在、性质一致的物质(如石頭、煤、盐、硫磺,沙、
石油),或具着和天然矿物一样的化学成分、结晶形态和性质的合成物质。")


Duplicate axiom at line:366 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation developmentalForm ChineseLanguage "(&%developmentalForm
?OBJECT ?FORM)的意思是 ?FORM 形容 ?OBJECT 个别发育过程的一段时期。例如:蝌蚪和毛虫分别是青蛙和蝴蝶的
&%developmentalForm。")


Duplicate axiom at line:369 of /home/apease/.sigmakee/KBs/Translations/chinese_format.kif:
(documentation OrganicObject ChineseLanguage "这是包含 &%Organism 和属于 &%Organism 一部分
&%CorpuscularObject 的类别,即是 &%BodyPart 和由 &%Organism 在非故意的情况下所造成的
&%CorpuscularObject,例如:&%ReproductiveBody。")


Duplicate axiom at line:982 of /home/apease/.sigmakee/KBs/Medicine.kif:
(termFormat EnglishLanguage Vyvanse "Vyvanse")


Duplicate axiom at line:274 of /home/apease/.sigmakee/KBs/Medicine.kif:
(subclass Cetirizine Antihistamine)


Duplicate axiom at line:283 of /home/apease/.sigmakee/KBs/Medicine.kif:
(termFormat EnglishLanguage Cetirizine "cetirizine")


Duplicate axiom at line:284 of /home/apease/.sigmakee/KBs/Medicine.kif:
(sideEffect Cetirizine Headache)


Duplicate axiom at line:289 of /home/apease/.sigmakee/KBs/Medicine.kif:
(termFormat EnglishLanguage Zyrtec "Zyrtec")


Duplicate axiom at line:202 of /home/apease/.sigmakee/KBs/Medicine.kif:
(termFormat EnglishLanguage Walmart "Walmart")


Duplicate axiom at line:194 of /home/apease/.sigmakee/KBs/Medicine.kif:
(subclass Morphine Medicine)

WARNING in KIF.parse(Reader), 23 duplicate statements detected in /home/apease/.sigmakee/KBs/Translations/chinese_format.kif

WARNING in KIF.parse(Reader), 7 duplicate statements detected in /home/apease/.sigmakee/KBs/Medicine.kif

Warning in KIF.parse() Parsing error in /home/apease/.sigmakee/KBs/Translations/terms-de.txt&58; Illegal character 'null' near line&58; 121

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