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


KB Term:  Term intersection
English Word: 

  VolcanicMountain

 Sigma KEE - Trousers
Trousers(trousers)
bathing_trunks, bell-bottoms, bellbottom_pants, bellbottom_trousers, blue_jean, breeches, chino, churidars, cords, corduroys, denim, flannel, gabardine, jean, jodhpur_breeches, jodhpurs, knee_breeches, knee_pants, knickerbockers, knickers, long_pants, long_trousers, overall, pajama, pant, pantaloon, pedal_pusher, plus_fours, pyjama, riding_breeches, salwar, shalwar, short_pants, shorts, slacks, stretch_pants, sweat_pants, sweatpants, swimming_trunks, toreador_pants, trews, trouser, trunks, tweed, white

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


(subclass Trousers Clothing) Mid-level-ontology.kif 6259-6259 Trousers is a subclass of clothing
(documentation Trousers EnglishLanguage "A piece of Clothing that covers each Leg of a person separately.") Mid-level-ontology.kif 6260-6261 Trousers is a subclass of clothing
(subclass Trousers
    (CoveringFn Leg))		 Mid-level-ontology.kif 6262-6262 Trousers is a subclass of a covering for leg
(externalImage Trousers "http://upload.wikimedia.org/wikipedia/commons/5/ 5a/ Jeans.jpg") pictureList.kif 197-197 Trousers is a subclass of a covering for leg
(externalImage Trousers "http://articulatesoftware.com/SUMOpictures/clothes/ trousers.png") pictureList.kif 799-799 Trousers is a subclass of a covering for leg

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


(termFormat EnglishLanguage Trousers "trousers") domainEnglishFormat.kif 59257-59257
(termFormat ChineseTraditionalLanguage Trousers "長褲") domainEnglishFormat.kif 59258-59258
(termFormat ChineseLanguage Trousers "长裤") domainEnglishFormat.kif 59259-59259

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


(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?L))))		 Mid-level-ontology.kif 6264-6272 If X wears Y and Y is an instance of trousers, then there exists Z such that Z is an instance of leg, Z is a part of X, and Y contains Z

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


(=>
    (instance ?PJ Pajamas)
    (exists (?TOP ?BOTTOM)
        (and
            (part ?TOP ?PJ)
            (part ?BOTTOM ?PJ)
            (instance ?TOP Shirt)
            (instance ?BOTTOM Trousers))))		 Mid-level-ontology.kif 6456-6463 If X is an instance of pajamas, then there exist Y, Z such that Y is a part of X, Z is a part of X, Y is an instance of shirt, and Z is an instance of trousers


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