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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3143-3144
No TPTP formula. May not be expressible in strict first order. Merge.kif 11986-11988
No TPTP formula. May not be expressible in strict first order. Merge.kif 11985-11985 Confining is a subclass of keeping

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13439-13439 Imprisoning is a subclass of confining
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1155-1155
No TPTP formula. May not be expressible in strict first order. english_format.kif 1527-1527

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6482-6482 The number 1 argument of detainee is an instance of confining

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11997-12002
No TPTP formula. May not be expressible in strict first order. Merge.kif 11990-11995

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


No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16775-16783
No TPTP formula. May not be expressible in strict first order. Merge.kif 12687-12697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24802-24810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6466-6476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4408-4416
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4396-4402


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