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 28231-28231
(documentation Naked EnglishLanguage "A state where someone doesn't wears Clothing.") Mid-level-ontology.kif 28220-28220
(instance Naked RelationalAttribute) Mid-level-ontology.kif 28219-28219

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


(<=>
    (holdsDuring ?T
        (attribute ?A Naked))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (wears ?A ?C))))))
Mid-level-ontology.kif 28221-28229


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners