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 |
|
![]() |
![]() |