|
|
  Mute
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Mute EnglishLanguage "The state of not Speaking.") | Mid-level-ontology.kif 30257-30257 | |
| (instance Mute RelationalAttribute) | Mid-level-ontology.kif 30256-30256 | 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 30259-30267 | 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 |
|
|
|