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 30143-30143 Naked è opposto a Clothed
(documentation Naked EnglishLanguage "A state where someone doesn't wears Clothing.") Mid-level-ontology.kif 30131-30131
(instance Naked RelationalAttribute) Mid-level-ontology.kif 30130-30130 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 30133-30141 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