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


KB Term:  Term intersection
English Word: 

  Bare

 Sigma KEE - Bare
Bare(bare)bare-breasted, bareback, barebacked, bared, bareheaded, barelegged, bottomless, braless, exposed, topless, uncovered

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


(instance Bare RelationalAttribute) Mid-level-ontology.kif 32809-32809 Bare is an instance of relational attribute
(documentation Bare EnglishLanguage "A state where no Clothing covers a particular BodyPart.") Mid-level-ontology.kif 32810-32810 Bare is an instance of relational attribute

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


(termFormat EnglishLanguage Bare "bare") domainEnglishFormat.kif 64522-64522

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


(<=>
    (and
        (instance ?B BodyPart)
        (holdsDuring ?T
            (attribute ?B Bare)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?B))))))		 Mid-level-ontology.kif 32812-32822 X is an instance of body part, bare is an attribute of X holds during Y if, only if there doesn't exist Z such that Z is an instance of clothing, and Z covers X holds during Y


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