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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Escaping

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 17277-17279
(subclass Escaping Translocation) Mid-level-ontology.kif 17276-17276 逃逸易位subclass

appearance as argument number 2

(termFormat ChineseLanguage Escaping "逃逸") domainEnglishFormat.kif 22402-22402
(termFormat ChineseTraditionalLanguage Escaping "逃逸") domainEnglishFormat.kif 22401-22401
(termFormat EnglishLanguage Escaping "escaping") domainEnglishFormat.kif 22400-22400


        (instance ?ESCAPE Escaping)
        (agent ?ESCAPE ?AGENT))
    (exists (?CONFINE)
            (instance ?CONFINE Confining)
            (patient ?CONFINE ?AGENT)
                (WhenFn ?CONFINE)
                (WhenFn ?ESCAPE)))))
Mid-level-ontology.kif 17281-17289
    (instance ?ESCAPE Escaping)
        (exists (?AGENT)
                (agent ?ESCAPE ?AGENT) ?AGENT))))
Mid-level-ontology.kif 17291-17295

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