| Box
| |
| appearance as argument number 1 |
|
|
| (documentation Box EnglishLanguage "Any six-sided Container whose sides are rectangular in shape.") | Mid-level-ontology.kif 4949-4950 | |
| (externalImage Box "http://upload.wikimedia.org/wikipedia/commons/e/eb/Box.agr.jpg") | pictureList.kif 49-49 | externalImage Box and "http://upload.wikimedia.org/wikipedia/commons/e/eb/ Box.agr.jpg" |
| (subclass Box Container) | Mid-level-ontology.kif 4948-4948 | subclass Box and Container |
| appearance as argument number 2 |
|
|
| (subclass HandToolBox Box) | Cars.kif 4800-4800 | subclass HandToolBox and Box |
| (termFormat ChineseLanguage Box "盒") | domainEnglishFormat.kif 11743-11743 | termFormat ChineseLanguage, Box and "盒" |
| (termFormat ChineseTraditionalLanguage Box "盒") | domainEnglishFormat.kif 11742-11742 | termFormat ChineseTraditionalLanguage, Box and "盒" |
| (termFormat EnglishLanguage Box "box") | domainEnglishFormat.kif 11741-11741 | termFormat EnglishLanguage, Box and "box" |
| antecedent |
|
|
| (=> (instance ?BOX Box) (equal (CardinalityFn (KappaFn ?SIDE (or (top ?SIDE ?BOX) (bottom ?SIDE ?BOX) (side ?SIDE ?BOX)))) 6)) |
Mid-level-ontology.kif 4952-4960 |
|
|
|
|