Shirt - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Shirt

Shirt(shirt)

T-shirt, blouse, bustier, camise, daishiki, dashiki, dress_shirt, evening_shirt, hair_shirt, halter, jersey, kurta, middy, middy_blouse, polo_shirt, shirt, shirtwaist, shirtwaister, singlet, sport_shirt, tank_top, tee_shirt, top, undershirt, vest, work-shirt

appearance as argument number 1

(documentation Shirt EnglishLanguage "An item of Clothing which covers the upper body of a Human.")	Mid-level-ontology.kif 5807-5808
(externalImage Shirt "http://articulatesoftware.com/SUMOpictures/clothes/ shirt/ shirt.png")	pictureList.kif 727-727
(externalImage Shirt "http://upload.wikimedia.org/wikipedia/commons/4/47/ Shirt.jpg")	pictureList.kif 168-168
(subclass Shirt (CoveringFn Torso))	Mid-level-ontology.kif 5809-5809	Shirt is a subclass of a covering for torso
(subclass Shirt Clothing)	Mid-level-ontology.kif 5806-5806	Shirt is a subclass of clothing

appearance as argument number 2

(termFormat ChineseLanguage Shirt "衬衫")	domainEnglishFormat.kif 52764-52764
(termFormat ChineseTraditionalLanguage Shirt "襯衫")	domainEnglishFormat.kif 52763-52763
(termFormat EnglishLanguage Shirt "shirt")	domainEnglishFormat.kif 52762-52762

antecedent

(=>
    (and
        (instance ?SHIRT Shirt)
        (wears ?PERSON ?SHIRT))
    (instance ?PERSON Human))

Mid-level-ontology.kif 5811-5815

If a wearable item is an instance of shirt and an animal wears the wearable item,
then the animal is an instance of human

consequent

(=> (instance ?C Collar) (exists (?OC) (and (part ?C ?OC) (or (instance ?OC Coat) (instance ?OC Shirt)))))	Mid-level-ontology.kif 5660-5667	If an object is an instance of collar, then there exists another object such that the object is a part of the other object and the other object is an instance of coat or the other object is an instance of shirt
(=> (instance ?PJ Pajamas) (exists (?TOP ?BOTTOM) (and (part ?TOP ?PJ) (part ?BOTTOM ?PJ) (instance ?TOP Shirt) (instance ?BOTTOM Trousers))))	Mid-level-ontology.kif 5886-5893	If an object is an instance of pajamas, then there exist another object and a third object such that the other object is a part of the object and the third object is a part of the object and the other object is an instance of shirt and the third object is an instance of trousers
(=> (instance ?S Sleeve) (exists (?C) (and (part ?S ?C) (or (instance ?C Shirt) (instance ?C Coat)))))	Mid-level-ontology.kif 5832-5839	If an object is an instance of sleeve, then there exists another object such that the object is a part of the other object and the other object is an instance of shirt or the other object is an instance of coat

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