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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Imprisoning

Sigma KEE - Imprisoning
Imprisoning

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


(documentation Imprisoning EnglishLanguage "The class of Confining processes where the detainee is put in Prison.") Mid-level-ontology.kif 11558-11559
(subclass Imprisoning Confining) Mid-level-ontology.kif 11557-11557

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


(termFormat ChineseLanguage Imprisoning "监禁") domainEnglishFormat.kif 29383-29383
(termFormat ChineseTraditionalLanguage Imprisoning "監禁") domainEnglishFormat.kif 29382-29382
(termFormat EnglishLanguage Imprisoning "imprisoning") domainEnglishFormat.kif 29381-29381

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 21468-21481
(=>
    (instance ?I Imprisoning)
    (exists (?P)
        (and
            (instance ?P Prison)
            (eventLocated ?I ?P))))
Mid-level-ontology.kif 11561-11566

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)
            (patient ?I ?H))))
Law.kif 292-298


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