Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Resigning
Resigning(resigning)give_up, renounce, resign, vacate

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


(subclass Resigning TerminatingEmployment) Mid-level-ontology.kif 18548-18548 Resigning is a subclass of terminating employment
(documentation Resigning EnglishLanguage "Voluntarily ending one's employment.") Mid-level-ontology.kif 18549-18549 Resigning is a subclass of terminating employment

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


(subclass Retiring Resigning) Mid-level-ontology.kif 18557-18557 Retiring is a subclass of resigning
(termFormat EnglishLanguage Resigning "resigning") domainEnglishFormat.kif 49671-49671 Retiring is a subclass of resigning
(termFormat ChineseTraditionalLanguage Resigning "辭職") domainEnglishFormat.kif 49672-49672 Retiring is a subclass of resigning
(termFormat ChineseLanguage Resigning "辞职") domainEnglishFormat.kif 49673-49673 Retiring is a subclass of resigning

antecedent
-------------------------


(=>
    (and
        (instance ?R Resigning)
        (agent ?R ?A))
    (wants ?A ?R))		 Mid-level-ontology.kif 18551-18555 If X is an instance of resigning and Y is an agent of X, then Y wants X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners