| SeizingProperty(seizing property) | | attach, confiscate, drug_bust, drugs_bust, impound, seize, sequester |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16398-16399 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16397-16397 | Seizing property is a subclass of unilateral getting |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51975-51975 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51974-51974 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51973-51973 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16401-16412 |
|
|
|
|