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 16716-16718
(subclass Escaping Translocation) Mid-level-ontology.kif 16715-16715

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

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 16720-16728
(=>
    (instance ?ESCAPE Escaping)
    (not
        (holdsRight
            (agent ?ESCAPE ?AGENT) ?AGENT)))
Mid-level-ontology.kif 16730-16732


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