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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 15310-15311
(subclass Imprisoning Confining) Mid-level-ontology.kif 15309-15309 Imprisoning è una sottoclasse di Imprigionare

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


(termFormat ChineseLanguage Imprisoning "监禁") domainEnglishFormat.kif 29483-29483
(termFormat ChineseTraditionalLanguage Imprisoning "監禁") domainEnglishFormat.kif 29482-29482
(termFormat EnglishLanguage Imprisoning "imprisoning") domainEnglishFormat.kif 29481-29481

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 25173-25186
(=>
    (instance ?I Imprisoning)
    (exists (?P)
        (and
            (instance ?P Prison)
            (eventLocated ?I ?P))))		 Mid-level-ontology.kif 15313-15318

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 251-257


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