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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Imprisoning
Imprisoning(imprisoning)do, imprisoning, imprisonment, serve

appearance as argument number 1
-------------------------


(documentation Imprisoning EnglishLanguage "The class of Confining processes where the detainee is put in Prison.") Mid-level-ontology.kif 11525-11526
(subclass Imprisoning Confining) Mid-level-ontology.kif 11524-11524 Imprisoning is a subclass of confining

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


(termFormat EnglishLanguage Imprisoning "imprisoning") domainEnglishFormat.kif 5326-5326 "imprisoning" is the printable form of imprisoning in english language

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


(=>
    (and
        (instance ?F MilitaryForce)
        (instance ?P Human)
        (instance ?I Imprisoning)
        (member ?P ?F)
        (agent ?I ?E)
        (patient ?I ?P)
        (enemy ?E ?P)
        (eventLocated ?I ?LOC)
        (attribute ?LOC WarState))
    (attribute ?P PrisonerOfWar))
MilitaryPersons.kif 285-296
(=>
    (and
        (instance ?IMPRISON Imprisoning)
        (detainee ?IMPRISON ?AGENT)
        (instance ?AGENT Human)
        (time ?IMPRISON ?INTERVAL)
        (instance ?INTERVAL TimeInterval))
    (exists (?ARREST ?TIME)
        (and
            (instance ?TIME TimeInterval)
            (time ?ARREST ?TIME)
            (earlier ?TIME ?INTERVAL)
            (instance ?ARREST PlacingUnderArrest)
            (arrested ?ARREST ?AGENT))))
Mid-level-ontology.kif 21424-21437
(=>
    (instance ?I Imprisoning)
    (exists (?P)
        (and
            (instance ?P Prison)
            (eventLocated ?I ?P))))
Mid-level-ontology.kif 11528-11533

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


(=>
    (holdsDuring ?NOW
        (attribute ?P Prisoner))
    (exists (?BEFORE ?IMPRISONING)
        (and
            (instance ?IMPRISONING Imprisoning)
            (earlier ?BEFORE ?NOW)
            (holdsDuring ?BEFORE
                (detainee ?IMPRISONING ?P)))))
MilitaryPersons.kif 242-250
(=>
    (jailer ?J ?H)
    (exists (?I)
        (and
            (instance ?I Imprisoning)
            (agent ?I ?J))))
Law.kif 289-294


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners