No TPTP formula. May not be expressible in strict first order. | Merge.kif 12222-12222 | Confining is a subclass of keeping |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13919-13919 | Imprisoning is a subclass of confining |
![]() |