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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OutdoorClothing
OutdoorClothing(户外服装)
more pictures...

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


(documentation OutdoorClothing EnglishLanguage "Clothing that is intended to be worn outdoors.") Mid-level-ontology.kif 4766-4767
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Minirock_%28Lack%29_Model_Dani_2.jpg") pictureList.kif 8631-8631
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Clara_Morgane_1.jpg") pictureList.kif 9496-9496
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ Portier_mit_Zylinder.JPG") pictureList.kif 9497-9497
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ Monica_Bellucc%28cannesPhotoCall%29-.jpg") pictureList.kif 9492-9492
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ H%C3%BCfthose.jpg") pictureList.kif 9495-9495
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ Cardigan_%28sweater%29_1.jpg/ 233px-Cardigan_%28sweater%29_1.jpg") pictureList.kif 9498-9498
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 4765-4765 户外服装服装subclass

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


(subclass Coat OutdoorClothing) Mid-level-ontology.kif 4886-4886 涂层户外服装subclass
(termFormat ChineseLanguage OutdoorClothing "户外服装") domainEnglishFormat.kif 43639-43639
(termFormat ChineseTraditionalLanguage OutdoorClothing "戶外服裝") domainEnglishFormat.kif 43638-43638
(termFormat EnglishLanguage OutdoorClothing "outdoor clothing") domainEnglishFormat.kif 43637-43637

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 4769-4777


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