Box(box) | alms_box, ballot_box, bandbox, box, carton, casket, cereal_box, chest, cigar_box, cold_frame, crate, flat, jewel_casket, matchbox, mite_box, paintbox, pencil_box, pencil_case, play-box, playbox, poor_box, pyxis, sea_chest, shadow_box, shoebox, snuffbox, tinderbox, trunk, tuck_box, window_box |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4473-4474 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 49-49 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4472-4472 | Box is a subclass of container |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4829-4829 | Tool box is a subclass of box |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11801-11801 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11800-11800 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11799-11799 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4476-4484 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2515-2522 |
|