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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Confining
Confining(閉じ込め)

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 12351-12353
(subclass Confining Keeping) Merge.kif 12350-12350 閉じ込め保持subclass では

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


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

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


(domain detainee 1 Confining) Mid-level-ontology.kif 7945-7945 detainee の数値 1 引数は 閉じ込めinstance では

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


(=>
    (and
        (instance ?CONFINE Confining)
        (patient ?CONFINE ?PERSON)
        (instance ?PERSON Human))
    (not
        (desires ?PERSON
            (patient ?CONFINE ?PERSON))))
Merge.kif 12362-12367
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))
Merge.kif 12355-12360

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


(<=>
    (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))
Justice.kif 26-28 detainedAtTimeInPlace 意識[知覚]を持つ代理(人), 時間位置 and オブジェクト playsRoleInEventOfType 意識[知覚]を持つ代理(人), detainee, 閉じ込め, 時間位置 and オブジェクト
(=>
    (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 18832-18840
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))
Merge.kif 13064-13074
(=>
    (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 27015-27023
(=>
    (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 7929-7939
(=>
    (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 5103-5111
(=>
    (instance ?T TrapOrCage)
    (hasPurpose ?T
        (exists (?C)
            (and
                (instance ?C Confining)
                (instrument ?C ?T)))))
Mid-level-ontology.kif 5091-5097


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