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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Bare
Bare

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


(documentation Bare EnglishLanguage "A state where no Clothing covers a particular BodyPart.") Mid-level-ontology.kif 32094-32094
(instance Bare RelationalAttribute) Mid-level-ontology.kif 32093-32093 Bare関係属性instance では

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


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

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 32096-32106 エンティティー体の部分instance では Bare エンティティーattribute では は 時間位置during holds エンティティー エンティティー衣類instance では covers エンティティー and エンティティー 時間位置during holds


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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