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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Escaping
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 14868-14870
(subclass Escaping Translocation) Mid-level-ontology.kif 14867-14867

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

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


(=>
    (and
        (instance ?ESCAPE Escaping)
        (agent ?ESCAPE ?AGENT))
    (exists (?CONFINE)
        (and
            (instance ?CONFINE Confining)
            (patient ?CONFINE ?AGENT)
            (meetsTemporally
                (WhenFn ?CONFINE)
                (WhenFn ?ESCAPE)))))
Mid-level-ontology.kif 14872-14880
(=>
    (instance ?ESCAPE Escaping)
    (not
        (holdsRight
            (agent ?ESCAPE ?AGENT) ?AGENT)))
Mid-level-ontology.kif 14882-14884


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