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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Uncovering

VerbNet: crane-40.3.2|bare, grow-26.2|develop, search-35.2|excavate, crane-40.3.2|flash, search-35.2|excavate,

appearance as argument number 1

(disjoint Uncovering Covering) Merge.kif 10584-10584 disjoint Uncovering and Covering
(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 10586-10587
(subclass Uncovering Removing) Merge.kif 10583-10583 subclass Uncovering and Removing

appearance as argument number 2

(subclass RemovingClothing Uncovering) Mid-level-ontology.kif 5773-5773 subclass RemovingClothing and Uncovering
(termFormat ChineseLanguage Uncovering "掀开") chinese_format.kif 1121-1121
(termFormat EnglishLanguage Uncovering "uncovering") english_format.kif 1464-1464

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners