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

KB Term:  Term intersection
English Word: 

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
-------------------------


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

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


(termFormat EnglishLanguage Leaving "leaving") domainEnglishFormat.kif 33715-33715
(termFormat ChineseTraditionalLanguage Leaving "離開") domainEnglishFormat.kif 33716-33716
(termFormat ChineseLanguage Leaving "离开") domainEnglishFormat.kif 33717-33717

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


(=>
    (instance ?LEAVE Leaving)
    (exists (?GO)
        (and
            (instance ?GO Translocation)
            (subProcess ?LEAVE ?GO)
            (starts
                (WhenFn ?LEAVE)
                (WhenFn ?GO)))))		 Mid-level-ontology.kif 19139-19145 If X is an instance of leaving, then there exists Y such that Y is an instance of translocation, X is a subprocess of Y, and the time of existence of X starts the time of existence of Y

consequent
-------------------------


(=>
    (and
        (instance ?R Railhead)
        (instance ?V RailVehicle)
        (holdsDuring ?T
            (located ?V ?R)))
    (exists (?M)
        (and
            (patient ?M ?V)
            (or
                (and
                    (instance ?M Leaving)
                    (origin ?M ?R)
                    (during
                        (WhenFn ?M) ?T))
                (and
                    (instance ?M Arriving)
                    (destination ?M ?R)
                    (during
                        (WhenFn ?M) ?T))))))		 Transportation.kif 2261-2278 If X is an instance of railhead, Y is an instance of rail vehicle, and Y is located at X holds during Z, then there exists W such that Y is a patient of W, W is an instance of leaving, W originates at X, the time of existence of W takes place during Z or W is an instance of arriving, W ends up at X, and the time of existence of W takes place during Z
(=>
    (instance ?TERM TransitTerminal)
    (hasPurpose ?TERM
        (exists (?T ?D)
            (and
                (patient ?T ?D)
                (instance ?D TransportationDevice)
                (or
                    (instance ?T Arriving)
                    (instance ?T Leaving))
                (eventLocated ?T ?TERM)))))		 Transportation.kif 4210-4220 If X is an instance of transit terminal, then X has the purpose there exist Y, Z such that Z is a patient of Y, Z is an instance of transportation device, Y is an instance of arriving or Y is an instance of leaving, and Y is located at 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