Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Naked
Naked(naked)au_naturel, bare, bare-ass, bare-assed, clothesless, garmentless, in_one's_birthday_suit, in_the_altogether, in_the_buff, in_the_raw, in_your_birthday_suit, mother-naked, naked, naked_as_a_jaybird, naked_as_the_day_one_was_born, naked_as_the_day_you_were_born, nude, peeled, raimentless, raw, stark_naked, starkers, stripped, without_a_stitch

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


(instance Naked RelationalAttribute) Mid-level-ontology.kif 32766-32766 Naked is an instance of relational attribute
(documentation Naked EnglishLanguage "A state where someone doesn't wears Clothing.") Mid-level-ontology.kif 32767-32767 Naked is an instance of relational attribute
(contraryAttribute Naked Clothed) Mid-level-ontology.kif 32789-32789 Naked is the opposite of clothed

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


(termFormat EnglishLanguage Naked "naked") domainEnglishFormat.kif 65222-65222

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


(=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))		 Mid-level-ontology.kif 32769-32777 If naked is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of clothing and X wears Z holds during Y

consequent
-------------------------


(=>
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C)))))
    (holdsDuring ?T
        (attribute ?A Naked)))		 Mid-level-ontology.kif 32779-32787 If there doesn't exist X such that X is an instance of clothing and Y wears X holds during Z, then naked is an attribute of Y holds during Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners