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 10614-10614 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 10616-10617
(subclass Uncovering Removing) Merge.kif 10613-10613 subclass Uncovering and Removing

appearance as argument number 2

(subclass RemovingClothing Uncovering) Mid-level-ontology.kif 5779-5779 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 3.0 is open source software produced by Articulate Software and its partners