Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| (subclass Box Container) | Mid-level-ontology.kif 5083-5083 | Box is a subclass of container |
| (documentation Box EnglishLanguage "Any six-sided Container whose sides are rectangular in shape.") | Mid-level-ontology.kif 5084-5085 | Box is a subclass of container |
| (externalImage Box "http://upload.wikimedia.org/wikipedia/commons/e/eb/Box.agr.jpg") | pictureList.kif 49-49 | Box is a subclass of container |
| appearance as argument number 2 |
|
|
| (subclass HandToolBox Box) | Cars.kif 4713-4713 | Tool box is a subclass of box |
| (termFormat EnglishLanguage Box "box") | domainEnglishFormat.kif 11807-11807 | Tool box is a subclass of box |
| (termFormat ChineseTraditionalLanguage Box "盒") | domainEnglishFormat.kif 11808-11808 | Tool box is a subclass of box |
| (termFormat ChineseLanguage Box "盒") | domainEnglishFormat.kif 11809-11809 | Tool box is a subclass of box |
| antecedent |
|
|
| (=> (instance ?BOX Box) (equal (CardinalityFn (KappaFn ?SIDE (or (top ?SIDE ?BOX) (bottom ?SIDE ?BOX) (side ?SIDE ?BOX)))) 6)) |
Mid-level-ontology.kif 5087-5095 | If X is an instance of box, then equal the number of instances in the class described by Y and 6 |
| consequent |
|
|
| (=> (instance ?X BoxOfChocolates) (exists (?B ?C) (and (instance ?B Box) (instance ?C ChocolateCandy) (contains ?B ?C) (member ?C ?X)))) |
Food.kif 2537-2544 | If X is an instance of box of chocolate, then there exist Y, Z such that Y is an instance of box, Z is an instance of chocolate candy, Y contains Z, and Z is a member of X |
|