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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Leaving

Sigma KEE - Leaving
Leaving(leaving)French_leave, beat_a_retreat, beetle_off, bolt, bolt_out, break, break_away, break_out, breaking_away, come_forth, come_out, congee, depart, departure, draw_back, egress, emerge, escape, exit, fall_out, farewell, get_out, go, go_away, go_forth, go_out, going, going_away, hightail, issue, leak, leave, leave-taking, leaving, move_back, part, parting, plump_out, pop_off, pour_out, pull_away, pull_back, quit, radiate, recede, retire, retreat, run_off, run_out, rush_away...

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


(documentation Leaving EnglishLanguage "The initial part of any instance of Translocation.") Mid-level-ontology.kif 17298-17298
(subclass Leaving Translocation) Mid-level-ontology.kif 17297-17297 Leaving is a subclass of translocation

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


(termFormat ChineseLanguage Leaving "离开") domainEnglishFormat.kif 33713-33713
(termFormat ChineseTraditionalLanguage Leaving "離開") domainEnglishFormat.kif 33712-33712
(termFormat EnglishLanguage Leaving "leaving") domainEnglishFormat.kif 33711-33711

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


(=>
    (instance ?LEAVE Leaving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?LEAVE ?GO)
            (starts
                (WhenFn ?LEAVE)
                (WhenFn ?GO)))))
Mid-level-ontology.kif 17300-17306


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

Show without tree


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