Box |
appearance as argument number 1 |
(documentation Box EnglishLanguage "Any six-sided Container whose sides are rectangular in shape.") | Mid-level-ontology.kif 4468-4469 | |
(externalImage Box "http://upload.wikimedia.org/wikipedia/commons/e/eb/Box.agr.jpg") | pictureList.kif 49-49 | |
(subclass Box Container) | Mid-level-ontology.kif 4467-4467 | Box è una sottoclasse di Container |
appearance as argument number 2 |
(subclass HandToolBox Box) | Cars.kif 4806-4806 | HandToolBox è una sottoclasse di Box |
(termFormat ChineseLanguage Box "盒") | domainEnglishFormat.kif 11801-11801 | |
(termFormat ChineseTraditionalLanguage Box "盒") | domainEnglishFormat.kif 11800-11800 | |
(termFormat EnglishLanguage Box "box") | domainEnglishFormat.kif 11799-11799 |
antecedent |
(=> (instance ?BOX Box) (equal (CardinalityFn (KappaFn ?SIDE (or (top ?SIDE ?BOX) (bottom ?SIDE ?BOX) (side ?SIDE ?BOX)))) 6)) |
Mid-level-ontology.kif 4471-4479 |
consequent |
(=> (instance ?X BoxOfChocolates) (exists (?B ?C) (and (instance ?B Box) (instance ?C ChocolateCandy) (contains ?B ?C) (member ?C ?X)))) |
Food.kif 2515-2522 |
|