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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Confining

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 11977-11979
No TPTP formula. May not be expressible in strict first order. Merge.kif 11976-11976 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 13390-13390 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 6448-6448 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 11988-11993
No TPTP formula. May not be expressible in strict first order. Merge.kif 11981-11986

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 16724-16732
No TPTP formula. May not be expressible in strict first order. Merge.kif 12674-12684
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24709-24717
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6432-6442
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4396-4404
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4384-4390


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