Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(documentation OutdoorClothing EnglishLanguage "Clothing that is intended to be worn outdoors.") Mid-level-ontology.kif 5589-5590
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Minirock_%28Lack%29_Model_Dani_2.jpg") pictureList.kif 8629-8629
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Clara_Morgane_1.jpg") pictureList.kif 9494-9494
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ Portier_mit_Zylinder.JPG") pictureList.kif 9495-9495
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ Monica_Bellucc%28cannesPhotoCall%29-.jpg") pictureList.kif 9490-9490
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ H%C3%BCfthose.jpg") pictureList.kif 9493-9493
(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
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 5588-5588 Outdoor clothing is a subclass of clothing

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


(subclass Coat OutdoorClothing) Mid-level-ontology.kif 5709-5709 Coat is a subclass of outdoor clothing
(termFormat ChineseLanguage OutdoorClothing "户外服装") domainEnglishFormat.kif 43693-43693 Coat is a subclass of outdoor clothing
(termFormat ChineseTraditionalLanguage OutdoorClothing "戶外服裝") domainEnglishFormat.kif 43692-43692 Coat is a subclass of outdoor clothing
(termFormat EnglishLanguage OutdoorClothing "outdoor clothing") domainEnglishFormat.kif 43691-43691 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 5592-5600


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