Confining - Sigma Knowledge base Browser

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 12247-12249
(subclass Confining Keeping)	Merge.kif 12246-12246	Confining is a subclass of keeping

appearance as argument number 2

(subclass Imprisoning Confining)	Mid-level-ontology.kif 14138-14138	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 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 7002-7002

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 12258-12263	If a process is an instance of confining and a cognitive agent is a patient of the process and the cognitive agent is an instance of human, then the cognitive agent doesn't desire the cognitive agent is a patient of the process
(=> (instance ?CONFINE Confining) (exists (?AGENT) (and (instance ?AGENT Animal) (patient ?CONFINE ?AGENT))))	Merge.kif 12251-12256	If a process is an instance of confining, then there exists an entity such that the entity is an instance of animal and the entity is a patient of the process

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 17539-17547	If a process is an instance of escaping and an agent is an agent of the process, then there exists another process such that the other process is an instance of confining and the agent is a patient of the other process and the time of existence of the other process meets the time of existence of the process
(=> (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	If a process is an instance of hunting and an entity is a patient of the process, then the process has the purpose there exists the entityROC such that the entity is a patient of the entityROC and the entityROC is an instance of confining or the entityROC is an instance of killing
(=> (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 25641-25649	If a physical is an instance of kennel, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of domestic animal and the other entity is an instance of confining and the entity is a patient of the other entity and the other entity is located at the physical
(=> (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 6986-6996	If a physical is an instance of prison, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of confining and the entity is located at the physical and the other entity is a patient of the entity and the other entity is an instance of human and the third entity is an agent of the entity and the third entity is an instance of government
(=> (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	If a physical is an instance of pen, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of livestock and the entity is an instance of confining and the physical is an instrument for the entity and the other entity is a patient of the entity
(=> (instance ?T TrapOrCage) (hasPurpose ?T (exists (?C) (and (instance ?C Confining) (instrument ?C ?T)))))	Mid-level-ontology.kif 4641-4647	If a physical is an instance of trap or cage, then the physical has the purpose there exists an entity such that the entity is an instance of confining and the physical is an instrument for the entity

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