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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TurkeyBird

 Sigma KEE - Confining
Confining(Imprigionare)

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 12247-12249
(subclass Confining Keeping) Merge.kif 12246-12246 Imprigionare è una sottoclasse di Trattenere

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


(subclass Imprisoning Confining) Mid-level-ontology.kif 13947-13947 Imprisoning è una sottoclasse di Imprigionare
(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 Il numero 1 argomenti di detainee è un istanza di Imprigionare

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 AgenteSensibile, PosizioneTemporale and Oggetto playsRoleInEventOfType AgenteSensibile, detainee, Imprigionare, PosizioneTemporale and Oggetto
(=>
    (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