Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Uncovering
Uncovering

appearance as argument number 1
-------------------------


(disjoint Uncovering Covering) Merge.kif 11394-11394
(documentation Uncovering ChineseLanguage "这是当 agent 完全或部分地揭露 patientRemoving 过程的 Class。") chinese_format.kif 3033-3034
(documentation Uncovering EnglishLanguage "The Class of Removing processes where the agent uncovers the patient, either completely or only partially.") Merge.kif 11396-11397
(documentation Uncovering JapaneseLanguage "RemovingClass は、patient が完全に または部分的にしか明らかにされない処理を行う。") japanese_format.kif 1801-1802
(subclass Uncovering Removing) Merge.kif 11393-11393

appearance as argument number 2
-------------------------


(subclass RemovingClothing Uncovering) Mid-level-ontology.kif 5533-5533
(termFormat ChineseLanguage Uncovering "掀开") chinese_format.kif 1121-1121
(termFormat EnglishLanguage Uncovering "uncovering") english_format.kif 1459-1459
(termFormat FrenchLanguage Uncovering "d�couvrir") french_format.kif 799-799
(termFormat Hindi Uncovering "anaavarana") terms-hindi.txt 331-331
(termFormat ItalianLanguage Uncovering "Scoprire") terms-it.txt 334-334
(termFormat JapaneseLanguage Uncovering "除覆") japanese_format.kif 2483-2483
(termFormat PortugueseLanguage Uncovering "Descobrir") portuguese_format.kif 751-751
(termFormat cb Uncovering "dili tabunan") terms-cb.txt 336-336
(termFormat cz Uncovering "uncovering") terms-cz.txt 370-370
(termFormat ro Uncovering "dezvãluire") relations-ro.kif 820-820
(termFormat tg Uncovering "inihayag") terms-tg.txt 335-335


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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