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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - ClothingSuit

appearance as argument number 1

(documentation ClothingSuit EnglishLanguage "A Collection of instances of Clothing that are designed to be worn together.") Mid-level-ontology.kif 5048-5049
(subclass ClothingSuit Collection) Mid-level-ontology.kif 5047-5047

appearance as argument number 2

(subclass IhramClothing ClothingSuit) ArabicCulture.kif 141-141
(termFormat ChineseLanguage ClothingSuit "服装套装") domainEnglishFormat.kif 15285-15285
(termFormat ChineseTraditionalLanguage ClothingSuit "服裝套裝") domainEnglishFormat.kif 15284-15284
(termFormat EnglishLanguage ClothingSuit "clothing suit") domainEnglishFormat.kif 15283-15283


        (instance ?SUIT ClothingSuit)
        (member ?ITEM1 ?SUIT)
        (holdsDuring ?TIME
            (wears ?PERSON ?ITEM1)))
    (forall (?ITEM2)
            (member ?ITEM2 ?SUIT)
            (holdsDuring ?TIME
                (wears ?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5051-5059

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