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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Confining
Confining(confiner)

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 Confiner est une sous-classe de garder

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


(subclass Imprisoning Confining) Mid-level-ontology.kif 13947-13947 Imprisoning est une sous-classe de confiner
(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 Le nombre 1 argument de detainee est une instance de confiner

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 detainedAtTimeInPlace sentient agent, position temporel and objet playsRoleInEventOfType sentient agent, detainee, confiner, position temporel and objet
(=>
    (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 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