| SafeContainer(safe container) | | bank, cabinet, cashbox, coin_bank, deedbox, deposit_box, lockbox, locker, money_box, safe, safe-deposit, safe-deposit_box, safety-deposit, safety_deposit_box, savings_bank, storage_locker, strongbox, till |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2682-2684 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2680-2680 | Safe container is a subclass of container |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2681-2681 | Safe container is a subclass of security device |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50758-50758 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50757-50757 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 50756-50756 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2686-2691 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2235-2246 |
|
|
|
|