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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Confining

Sigma KEE - Confining
Confining(confining)abduct, cabin, choke_hold, chokehold, closet, confine, confinement, coop_in, coop_up, custody, false_imprisonment, fold, free, freeborn, gate, ground, house_arrest, impress, imprisonment, internment, isolated, kidnap, lockdown, maroon, nobble, pen_up, quarantined, sequestered, servile, shanghai, snatch

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


(documentation Confining ChineseLanguage "这是 Keeping ProcessClass,这是发生在 当 patient 在非自愿的情况下被拘留,而这受事者可以是 HumanAnimal。这包括笼罩、坐牢和监禁等。") chinese_format.kif 3143-3144
(documentation Confining EnglishLanguage "The Class of Keeping Processes where the patient is a Human or an Animal and is kept involuntarily. This covers caging, imprisonment, jailing, etc.") Merge.kif 12247-12249
(subclass Confining Keeping) Merge.kif 12246-12246 Confining is a subclass of keeping

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


(subclass Imprisoning Confining) Mid-level-ontology.kif 13947-13947 Imprisoning is a subclass of confining
(termFormat ChineseLanguage Confining "关押") chinese_format.kif 1155-1155
(termFormat EnglishLanguage Confining "confining") english_format.kif 1527-1527
(termFormat FrenchLanguage Confining "confiner") french_format.kif 833-833
(termFormat Hindi Confining "parisiimana") terms-hindi.txt 365-365
(termFormat ItalianLanguage Confining "Imprigionare") terms-it.txt 368-368
(termFormat JapaneseLanguage Confining "閉じ込め") japanese_format.kif 2517-2517
(termFormat PortugueseLanguage Confining "Confinar") portuguese_format.kif 785-785
(termFormat cb Confining "pagpahimutang sa dapit") terms-cb.txt 370-370
(termFormat cz Confining "confining") terms-cz.txt 404-404
(termFormat ro Confining "restrângere") relations-ro.kif 854-854
(termFormat tg Confining "hanggahan") terms-tg.txt 369-369

appearance as argument number 3
-------------------------


(domain detainee 1 Confining) Mid-level-ontology.kif 6811-6811 The number 1 argument of detainee is an instance of confining

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


(=>
    (and
        (instance ?CONFINE Confining)
        (patient ?CONFINE ?PERSON)
        (instance ?PERSON Human))
    (not
        (desires ?PERSON
            (patient ?CONFINE ?PERSON))))
Merge.kif 12258-12263
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))
Merge.kif 12251-12256

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


(<=>
    (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))
Justice.kif 26-28 A sentient agent detained at time in place a time position for an object if and only if the sentient agent plays role in event of type detainee for confining with the time position and the object
(=>
    (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 17308-17316
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))
Merge.kif 12956-12966
(=>
    (instance ?KENNEL Kennel)
    (hasPurpose ?KENNEL
        (exists (?ANIMAL ?CONFINING)
            (and
                (instance ?ANIMAL DomesticAnimal)
                (instance ?CONFINING Confining)
                (patient ?CONFINING ?ANIMAL)
                (eventLocated ?CONFINING ?KENNEL)))))
Mid-level-ontology.kif 25410-25418
(=>
    (instance ?P Prison)
    (hasPurpose ?P
        (exists (?C ?H ?G)
            (and
                (instance ?C Confining)
                (eventLocated ?C ?P)
                (patient ?C ?H)
                (instance ?H Human)
                (agent ?C ?G)
                (instance ?G Government)))))
Mid-level-ontology.kif 6795-6805
(=>
    (instance ?T LivestockPen)
    (hasPurpose ?T
        (exists (?C ?L)
            (and
                (instance ?L Livestock)
                (instance ?C Confining)
                (instrument ?C ?T)
                (patient ?C ?L)))))
Mid-level-ontology.kif 4653-4661
(=>
    (instance ?T TrapOrCage)
    (hasPurpose ?T
        (exists (?C)
            (and
                (instance ?C Confining)
                (instrument ?C ?T)))))
Mid-level-ontology.kif 4641-4647


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