| appearance as argument number 1 |
|
| (defaultMeasure BoxOfChocolates (MeasureFn 250.0 Gram)) |
Food.kif 2524-2525 | |
| (documentation BoxOfChocolates EnglishLanguage "A BoxOfChocolates is a Box of ChocolateCandy. It has a defaultMeasure of 250 Gram.") | Food.kif 2508-2509 | |
| (subclass BoxOfChocolates Collection) | Food.kif 2507-2507 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BoxOfChocolates "一盒巧克力") | Food.kif 2512-2512 | |
| (termFormat ChineseTraditionalLanguage BoxOfChocolates " 一盒巧克力") | Food.kif 2513-2513 | |
| (termFormat EnglishLanguage BoxOfChocolates "box of chocolate") | Food.kif 2511-2511 |
| antecedent |
|
|
| (=> (instance ?X BoxOfChocolates) (exists (?B ?C) (and (instance ?B Box) (instance ?C ChocolateCandy) (contains ?B ?C) (member ?C ?X)))) |
Food.kif 2515-2522 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners