| 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 20269-20270 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20268-20268 | 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 51985-51985 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51984-51984 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51983-51983 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20272-20283 |
|
|
|
|