Bare
|
|
appearance as argument number 1 |
(documentation Bare EnglishLanguage "A state where no Clothing covers a particular BodyPart.") | Mid-level-ontology.kif 30164-30164 | |
(instance Bare RelationalAttribute) | Mid-level-ontology.kif 30163-30163 | Bare e' uma instancia de Atributo Relacional |
appearance as argument number 2 |
(termFormat EnglishLanguage Bare "bare") | domainEnglishFormat.kif 64519-64519 |
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 30166-30176 | Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal |