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


KB Term:  Term intersection
English Word: 

  ListFn__7Fn__0En1Ra2Re3In4In5In6Ra7RaFn

 Sigma KEE - Apron
Apron(apron)
apron

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


(subclass Apron Clothing) Mid-level-ontology.kif 6148-6148 Apron is a subclass of clothing
(documentation Apron EnglishLanguage "An item of Clothing that protects the front and middle part of the body while one is Cooking or doing other work.") Mid-level-ontology.kif 6149-6150 Apron is a subclass of clothing
(externalImage Apron "http://articulatesoftware.com/SUMOpictures/household/ chores/ Apron.png") pictureList.kif 232-232 Apron is a subclass of clothing

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


(termFormat EnglishLanguage Apron "apron") domainEnglishFormat.kif 8050-8050
(termFormat ChineseTraditionalLanguage Apron "圍裙") domainEnglishFormat.kif 8051-8051
(termFormat ChineseLanguage Apron "围裙") domainEnglishFormat.kif 8052-8052

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


(=>
    (instance ?A Apron)
    (hasPurpose ?A
        (exists (?P ?C)
            (and
                (instance ?C Cooking)
                (agent ?C ?P)
                (holdsDuring
                    (WhenFn ?C)
                    (wears ?P ?A))))))		 Mid-level-ontology.kif 6152-6161 If X is an instance of apron, then X has the purpose there exist Y, Z such that Z is an instance of cooking, Y is an agent of Z, and Y wears X holds during the time of existence of Z


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners