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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Naked

Sigma KEE - Naked
Naked

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


(contraryAttribute Naked Clothed) Mid-level-ontology.kif 30155-30155 Naked est l'oppos� de Clothed
(documentation Naked EnglishLanguage "A state where someone doesn't wears Clothing.") Mid-level-ontology.kif 30143-30143
(instance Naked RelationalAttribute) Mid-level-ontology.kif 30142-30142 Naked est une instance de attribut relationnel

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


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

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


(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 30145-30153 Naked est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement entit� porte entit� pendant position temporel


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