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 è opposto a 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 è un' istanza di AttributoRelazionale

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 attribute Entit� and Naked vales durante PosizioneTemporale Entit� Entit� è un' istanza di Vestito wears Entit� and Entit� vales durante PosizioneTemporale


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