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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ClothingSuit
ClothingSuit(clothing suit)business_suit, double-breasted_suit, lounge_suit, pants_suit, pantsuit, pinstripe, single-breasted_suit, suit, suit_of_clothes, three-piece_suit, two-piece, two-piece_suit, zoot_suit

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 5297-5298
(subclass ClothingSuit Collection) Mid-level-ontology.kif 5296-5296 Clothing suit is a subclass of collection

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


(subclass IhramClothing ClothingSuit) ArabicCulture.kif 150-150 Ihram clothing is a subclass of clothing suit
(termFormat ChineseLanguage ClothingSuit "服装套装") domainEnglishFormat.kif 15282-15282
(termFormat ChineseTraditionalLanguage ClothingSuit "服裝套裝") domainEnglishFormat.kif 15281-15281
(termFormat EnglishLanguage ClothingSuit "clothing suit") domainEnglishFormat.kif 15280-15280

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


(=>
    (and
        (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 5300-5308


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