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

KB Term:  Term intersection
English Word: 

Sigma KEE - OutdoorClothing
OutdoorClothing(outdoor clothing)
more pictures...

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


(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 6134-6134 Outdoor clothing is a subclass of clothing
(documentation OutdoorClothing EnglishLanguage "Clothing that is intended to be worn outdoors.") Mid-level-ontology.kif 6135-6136 Outdoor clothing is a subclass of clothing
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Minirock_%28Lack%29_Model_Dani_2.jpg") pictureList.kif 8629-8629 Outdoor clothing is a subclass of clothing
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ Monica_Bellucc%28cannesPhotoCall%29-.jpg") pictureList.kif 9490-9490 Outdoor clothing is a subclass of clothing
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ H%C3%BCfthose.jpg") pictureList.kif 9493-9493 Outdoor clothing is a subclass of clothing
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Clara_Morgane_1.jpg") pictureList.kif 9494-9494 Outdoor clothing is a subclass of clothing
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ Portier_mit_Zylinder.JPG") pictureList.kif 9495-9495 Outdoor clothing is a subclass of clothing
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ Cardigan_%28sweater%29_1.jpg/ 233px_Cardigan_%28sweater%29_1.jpg") pictureList.kif 9496-9496 Outdoor clothing is a subclass of clothing

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


(subclass Coat OutdoorClothing) Mid-level-ontology.kif 6255-6255 Coat is a subclass of outdoor clothing
(termFormat EnglishLanguage OutdoorClothing "outdoor clothing") domainEnglishFormat.kif 43655-43655 Coat is a subclass of outdoor clothing
(termFormat ChineseTraditionalLanguage OutdoorClothing "戶外服裝") domainEnglishFormat.kif 43656-43656 Coat is a subclass of outdoor clothing
(termFormat ChineseLanguage OutdoorClothing "户外服装") domainEnglishFormat.kif 43657-43657 Coat is a subclass of outdoor clothing

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


(=>
    (and
        (instance ?CLOTHING OutdoorClothing)
        (holdsDuring ?TIME
            (wears ?PERSON ?CLOTHING)))
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (holdsDuring ?TIME
                    (located ?PERSON ?BUILDING))))))		 Mid-level-ontology.kif 6138-6146 If X is an instance of outdoor clothing and Y wears X holds during Z, then there doesn't exist W such that W is an instance of building and Y is located at W holds during Z


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