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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeologicallyStable

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 5034-5035
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3a/ Minirock_%28Lack%29_Model_Dani_2.jpg") pictureList.kif 8630-8630
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Clara_Morgane_1.jpg") pictureList.kif 9495-9495
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ a/ ad/ Portier_mit_Zylinder.JPG") pictureList.kif 9496-9496
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ b/ be/ Monica_Bellucc%28cannesPhotoCall%29-.jpg") pictureList.kif 9491-9491
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ e/ e9/ H%C3%BCfthose.jpg") pictureList.kif 9494-9494
(externalImage OutdoorClothing "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 1e/ Cardigan_%28sweater%29_1.jpg/ 233px-Cardigan_%28sweater%29_1.jpg") pictureList.kif 9497-9497
(subclass OutdoorClothing Clothing) Mid-level-ontology.kif 5033-5033 子類 戶外服裝 and Clothing

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


(subclass Coat OutdoorClothing) Mid-level-ontology.kif 5154-5154 子類 塗層 and 戶外服裝
(termFormat ChineseLanguage OutdoorClothing "户外服装") domainEnglishFormat.kif 43664-43664
(termFormat ChineseTraditionalLanguage OutdoorClothing "戶外服裝") domainEnglishFormat.kif 43663-43663
(termFormat EnglishLanguage OutdoorClothing "outdoor clothing") domainEnglishFormat.kif 43662-43662

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 5037-5045


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 is open source software produced by Articulate Software and its partners