Bare |
appearance as argument number 1 |
(documentation Bare EnglishLanguage "A state where no Clothing covers a particular BodyPart.") | Mid-level-ontology.kif 30176-30176 | |
(instance Bare RelationalAttribute) | Mid-level-ontology.kif 30175-30175 | 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 30178-30188 | 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 |