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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Escaping
Escaping(escaping)Hegira, Hejira, escape, flight, skedaddle

appearance as argument number 1

(documentation Escaping EnglishLanguage "Any instance of Translocation where the agent brings it about that he/ she is no longer confined without having the right to do so.") Mid-level-ontology.kif 16720-16722
(subclass Escaping Translocation) Mid-level-ontology.kif 16719-16719 Escaping is a subclass of translocation

appearance as argument number 2

(termFormat ChineseLanguage Escaping "逃逸") domainEnglishFormat.kif 22395-22395
(termFormat ChineseTraditionalLanguage Escaping "逃逸") domainEnglishFormat.kif 22394-22394
(termFormat EnglishLanguage Escaping "escaping") domainEnglishFormat.kif 22393-22393


        (instance ?ESCAPE Escaping)
        (agent ?ESCAPE ?AGENT))
    (exists (?CONFINE)
            (instance ?CONFINE Confining)
            (patient ?CONFINE ?AGENT)
                (WhenFn ?CONFINE)
                (WhenFn ?ESCAPE)))))
Mid-level-ontology.kif 16724-16732
    (instance ?ESCAPE Escaping)
            (agent ?ESCAPE ?AGENT) ?AGENT)))
Mid-level-ontology.kif 16734-16736

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