Mute |
appearance as argument number 1 |
(documentation Mute EnglishLanguage "The state of not Speaking.") | Mid-level-ontology.kif 30269-30269 | |
(instance Mute RelationalAttribute) | Mid-level-ontology.kif 30268-30268 | Mute e' uma instancia de Atributo Relacional |
appearance as argument number 2 |
(termFormat EnglishLanguage Mute "mute") | domainEnglishFormat.kif 65217-65217 |
antecedent |
(<=> (holdsDuring ?T (attribute ?P Mute)) (not (exists (?S) (and (instance ?S Speaking) (during (WhenFn ?S) ?T) (agent ?S ?P))))) |
Mid-level-ontology.kif 30271-30279 | Mute e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Speaking tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent |