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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Process 的 Class，这是发生在 当 patient 在非自愿的情况下被拘留，而这受事者可以是 Human 或 Animal。这包括笼罩、坐牢和监禁等。") 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 12276-12278
(subclass Confining Keeping) Merge.kif 12275-12275 Confining is a subclass of keeping

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


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

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


(domain detainee 1 Confining) Mid-level-ontology.kif 7557-7557 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 12287-12292
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))		 Merge.kif 12280-12285

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 18370-18378
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))		 Merge.kif 12985-12995
(=>
    (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 26472-26480
(=>
    (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 7541-7551
(=>
    (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 4726-4734
(=>
    (instance ?T TrapOrCage)
    (hasPurpose ?T
        (exists (?C)
            (and
                (instance ?C Confining)
                (instrument ?C ?T)))))		 Mid-level-ontology.kif 4714-4720


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