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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Confining

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 12201-12203
(subclass Confining Keeping) Merge.kif 12200-12200 Confining ist eine teilkategorie von Keeping

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


(subclass Imprisoning Confining) Mid-level-ontology.kif 13920-13920 Imprisoning ist eine teilkategorie von 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 6784-6784 Die Zahl 1 Argument von detainee ist ein fall von Confining %n{nicht}

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


(=>
    (and
        (instance ?CONFINE Confining)
        (patient ?CONFINE ?PERSON)
        (instance ?PERSON Human))
    (not
        (desires ?PERSON
            (patient ?CONFINE ?PERSON))))
Merge.kif 12212-12217
(=>
    (instance ?CONFINE Confining)
    (exists (?AGENT)
        (and
            (instance ?AGENT Animal)
            (patient ?CONFINE ?AGENT))))
Merge.kif 12205-12210

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


(<=>
    (detainedAtTimeInPlace ?AGENT ?TIME ?PLACE)
    (playsRoleInEventOfType ?AGENT detainee Confining ?TIME ?PLACE))
Justice.kif 26-28 detainedAtTimeInPlace SentientAgent, TimePosition and Object genau dann wenn playsRoleInEventOfType ** SentientAgent, detainee, Confining, ** TimePosition and ** 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 17281-17289
(=>
    (and
        (instance ?H Hunting)
        (patient ?H ?P))
    (hasPurpose ?H
        (exists (?PROC)
            (and
                (patient ?PROC ?P)
                (or
                    (instance ?PROC Confining)
                    (instance ?PROC Killing))))))
Merge.kif 12910-12920
(=>
    (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 25353-25361
(=>
    (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 6768-6778
(=>
    (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 4658-4666
(=>
    (instance ?T TrapOrCage)
    (hasPurpose ?T
        (exists (?C)
            (and
                (instance ?C Confining)
                (instrument ?C ?T)))))
Mid-level-ontology.kif 4646-4652


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