Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Sandwich
Sandwich(sandwich)
BLT, Cuban_sandwich, Italian_sandwich, Reuben, Sloppy_Joe, bacon-lettuce-tomato_sandwich, beefburger, bomber, burger, butty, cheeseburger, chicken_sandwich, club_sandwich, grinder, gyro, ham_sandwich, hamburger, hero, hero_sandwich, hoagie, hoagy, hot_dog, hotdog, open-face_sandwich, open_sandwich, poor_boy, red_hot, sandwich, sub, submarine, submarine_sandwich, three-decker, torpedo, triple-decker, tunaburger, wedge, western, western_sandwich, wrap, zep

appearance as argument number 1
-------------------------


(subclass Sandwich CookedDish) Food.kif 1565-1565 Sandwich is a subclass of cooked dish
(documentation Sandwich EnglishLanguage "Any food which consists of two or more pieces of bread and some sort of filling between the two pieces of bread.") Food.kif 1566-1567 Sandwich is a subclass of cooked dish
(externalImage Sandwich "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ sandwich.png") pictureList.kif 713-713 Sandwich is a subclass of cooked dish

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Sandwich "sandwich") domainEnglishFormat.kif 51088-51088
(termFormat ChineseTraditionalLanguage Sandwich "三明治") domainEnglishFormat.kif 51089-51089
(termFormat ChineseLanguage Sandwich "三明治") domainEnglishFormat.kif 51090-51090

antecedent
-------------------------


(=>
    (instance ?S Sandwich)
    (exists (?B1 ?B2 ?F)
        (and
            (instance ?B1 BreadOrBiscuit)
            (instance ?B2 BreadOrBiscuit)
            (instance ?F
                (FoodForFn Human))
            (between ?B1 ?F ?B2)
            (not
                (equal ?B1 ?B2))
            (not
                (equal ?B1 ?F))
            (not
                (equal ?B2 ?F))
            (part ?B1 ?S)
            (part ?B2 ?S)
            (part ?F ?S))))		 Food.kif 1569-1582 If X is an instance of sandwich, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of bread or biscuit (3) Z is an instance of bread or biscuit (4) W is an instance of food for human (5) W is between Y (6) Z (7) equal Y (8) Z (9) equal Y (10) W (11) equal Z (12) W (13) Y is a part of X (14) Z is a part of X (15) W is a part of X

consequent
-------------------------


(=>
    (instance ?SM SandwichMaker)
    (hasPurpose ?SM
        (exists (?COOKING ?SANDW)
            (and
                (instance ?COOKING Cooking)
                (instance ?SANDW Sandwich)
                (instrument ?COOKING ?SM)
                (result ?COOKING ?SANDW)))))		 Society.kif 838-846 If X is an instance of SandwichMaker, then X has the purpose there exist Y, Z such that Y is an instance of cooking, Z is an instance of sandwich, X is an instrument for Y, and Z is a result of Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners